Historical Papers

The following papers illustrate the history of CP-nets. Each of them constitutes an important step in the development of Coloured Petri Nets and their verification methods. Most of the material is covered by the text books and papers mentioned above. Except for historical purposes it is recommended to use the newer sources.

K. Jensen: Coloured Petri Nets and the Invariant Method. Theoretical Computer Science 14 (1981), North-Holland, 317-336.

K. Jensen: How to Find Invariants for Coloured Petri Nets. In: J. Gruska and M. Chytill (eds.): Mathematical Foundations of Computer Science 1981, Lecture Notes in Computer Science vol. 118, Springer-Verlag 1981, 327-338.

P. Huber, A.M. Jensen, L.O. Jepsen and K. Jensen: Reachability Trees for High-level Petri Nets. Theoretical Computer Science 45 (1986), North-Holland, 261-292. Also in K. Jensen and G. Rozenberg (eds.): High-level Petri Nets. Theory and Application, 319-350.

K. Jensen: High-level Petri Nets. In: A. Pagnoni and G. Rozenberg (eds.): Applications and Theory of Petri Nets, Informatik-Fachberichte vol. 66, Springer-Verlag 1983, 166-180.

K. Jensen and E.M. Schmidt: Pascal Semantics by a Combination of Denotational Semantics and High-level Petri Nets. In: G. Rozenberg (ed.): Advances in Petri Nets 1985, Lecture Notes in Computer Science vol. 222, Springer-Verlag 1986, 297-329.

K. Jensen: Coloured Petri Nets. In: W. Brauer, W. Reisig and G. Rozenberg (eds.): Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986 Part I, Lecture Notes in Computer Science vol. 254, Springer-Verlag 1987, 248-299.

P. Huber, K. Jensen, R.M. Shapiro: Hierarchies in Coloured Petri Nets. In: G. Rozenberg (ed.): Advances in Petri Nets 1990, Lecture Notes in Computer Science Vol. 483, Springer-Verlag 1991, 313-341. Also in K. Jensen and G. Rozenberg (eds.): High-level Petri Nets. Theory and Application, 215-243.

K. Jensen: Coloured Petri Nets: A High-level Language for System Design and Analysis. In: G. Rozenberg (ed.): Advances in Petri Nets 1990, Lecture Notes in Computer Science vol. 483, Springer-Verlag 1991, 342-416. Also in K. Jensen and G. Rozenberg (eds.): High-level Petri Nets. Theory and Application, 44-122.

K. Jensen: Condensed State Spaces for Symmetrical Coloured Petri Nets. Formal Methods in System Design 9 (1996), Kluwer Academic Publishers, 7-40.