|
СТ |
CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets |
2003 |
Ratzer A. V., Wells L., Lassen H. M., Laursen M., Qvortrup J. F., Stissing M. S., Westergaard M., Christensen S., Jensen K. |
|
|
|
Lecture Notes in Computer Science |
23.07.2003 |
|
СТ |
The Petri Net Markup Language: Concepts, Technology, and Tools |
2003 |
Billington J., Christensen S., Van Hee K., Kindler E., Kummer O., Petrucci L., Post R., Stehno C., Weber M. |
|
|
|
Lecture Notes in Computer Science |
23.07.2003 |
|
СТ |
Executable Design Models for a Pervasive Healthcare Middleware System |
2002 |
Jorgensen J. B., Christensen S. |
|
|
|
Lecture Notes in Computer Science |
30.10.2002 |
|
СТ |
Modular Analysis of Petri Nets |
2000 |
Christensen S., Petrucci L. |
|
|
|
The Computer Journal |
09.09.2000 |
|
СТ |
Visualising the Behaviour of Intelligent Networks |
1998 |
Capellmann C., Christensen S., Herzog U. |
|
|
|
Lecture Notes in Computer Science |
09.05.1998 |
|
СТ |
Design/CPN - A Computer Tool for Coloured Petri Nets |
1997 |
Christensen S., Jorgensen J. B., Kristensen L. M. |
|
|
|
Lecture Notes in Computer Science |
12.04.1997 |
|
СТ |
Modular State Space Analysis of Coloured Petri Nets |
1995 |
Christensen S., Petrucci L. |
|
|
|
Lecture Notes in Computer Science |
05.07.1995 |
|
СТ |
Coloured Petri Nets Extended with Channels for Synchronous Communication |
1994 |
Christensen S., Hansen N. D. |
|
|
|
Lecture Notes in Computer Science |
21.07.1994 |
|
СТ |
Decidability Issues for Infinite-State Processes - a Survey |
1993 |
Christensen S., Huttel H. |
|
|
|
EATCS Bull. |
24.02.1994 |
|
СТ |
Bisimulation Equivalence is Decidable for Basic Parallel Processes |
1993 |
Christensen S., Hirshfeld Y., Moller F. |
|
|
|
Lecture Notes in Computer Science |
19.10.1993 |
|
СТ |
Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs |
1993 |
Christensen S., Hansen N. D. |
|
|
|
Lecture Notes in Computer Science |
21.08.1993 |
|
СТ |
Bisimulation Equivalence is Decidable for all Context-Free Processes |
1992 |
Christensen S., Huttel H., Stirling C. |
|
|
|
Lecture Notes in Computer Science |
16.10.1992 |
|
СТ |
Towards a Modular Analysis of Coloured Petri Nets |
1992 |
Christensen S., Petrucci L. |
|
|
|
Lecture Notes in Computer Science |
09.07.1992 |
