СТ |
Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks |
2004 |
Kristensen L. M., Jensen K. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
26.11.2004 |
СТ |
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 |
СТ |
A Brief Introduction to Coloured Petri Nets |
1997 |
Jensen K. |
|
|
|
Lecture Notes in Computer Science |
12.04.1997 |
М |
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use |
1996 |
Jensen K. |
|
|
|
|
31.03.1997 |
М |
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use |
1996 |
Jensen K. |
|
|
|
|
31.03.1997 |
М |
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use |
1996 |
Jensen K. |
|
|
|
|
31.03.1997 |
СТ |
Towards Reachability Trees for High-Level Petri Nets |
1988 |
Huber P., Jensen A. M., Jepsen L. O., Jensen K. |
|
|
|
Petri Nets Tutorial |
05.10.1995 |
СТ |
Hierarchies in Coloured Petri Nets |
1989 |
Huber P., Jensen K., Shapiro R. M. |
|
|
|
10th Intern.Conf.on Application and Theory of Petri Nets, Bonn, June 1989 |
11.05.1995 |
СТ |
An Introduction to the Theoretical Aspects of Coloured Petri Nets |
1994 |
Jensen K. |
|
|
|
Lecture Notes in Computer Science |
05.08.1994 |
СТ |
Design TM - "Petri Net Editor" for the Macintosh |
1986 |
Jensen K. |
|
|
|
Petri Net Newsletter |
19.12.1992 |