Recommended Books and Papers on Coloured Petri Nets

by Kurt Jensen, CPN Group, University of Aarhus, Denmark

Textbooks on CP-nets

K. Jensen: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1, Basic Concepts. Monographs in Theoretical Computer Science, Springer-Verlag, 2nd corrected printing 1997. ISBN: 3-540-60943-1.

Keywords: Introduction to CP-nets, Formal definition, Hierarchical nets, Modularity, Dynamic and static properties, Verification methods, State spaces, Invariants, Computer tools, Industrial applications, General.
Comments: Textbook. An in-depth description of the basic concepts of CP-nets.
Review (from Computing Reviews).
Preface.
Known Errors (1. and 2. edition).
Known Errors (Corrected Reprint of 2. edition).

K. Jensen: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 2, Analysis Methods. Monographs in Theoretical Computer Science, Springer-Verlag, 2nd corrected printing 1997. ISBN: 3-540-58276-2.

Keywords: Formal verification, State spaces, Occurrence Graphs, Equivalent system states, Exploitation of symmetries, Condensed state spaces, Place invariants, Transition invariants, Timed CP-nets, General.
Comments: Textbook. An in-depth description of the verification methods of CP-nets.
Review (from Computing Reviews).
Preface.
Known Errors (1. edition).
Known Errors (Corrected Reprint of 1. edition).

K. Jensen: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 3, Practical Use. Monographs in Theoretical Computer Science, Springer-Verlag, 1997. ISBN: 3-540-62867-3.

Keywords: Applications, Industrial use, Modelling, Verification, General.
Comments: Textbook. An in-depth description of 19 industrial projects illustrating the practical use of CP-nets.
Review (from Computing Reviews).
Preface.
Known Errors (1.edition).

K. Jensen and G. Rozenberg (eds.): High-level Petri Nets. Theory and Application. ISBN: 3-540-54125 X or 0-387-54125 X, Springer-Verlag, 1991.

Keywords: High-level Petri nets, Basic models, Abstract data types, Hierarchical nets, Modularity, Invariants, State spaces, Transformations, Stochastic nets, Applications, Computer tools, General.
Comments: The book contains some of the most important papers on the application and theory of high-level Petri nets.
Preface.

Introductory Papers on CP-nets

K. Jensen, L.M. Kristensen, L. Wells: Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. International Journal on Software Tools for Technology Transfer, 9 (2007), Springer Verlag, 213-254.

Keywords: Introduction to CP-nets, Simulation, State spaces, Occurrence graphs, CP-nets with time, Hierarchical CP-nets, Tool support, Application, General.
Comments: This paper provides a comprehensive road map to the practical use of CP-nets and CPN Tools. The paper is self-contained and does not assume any prior knowledge of Petri nets and CP-nets nor any experience with CPN Tools.
© Springer-Verlag. The original publication is available on LINK at <http://link.springer.de>.
Abstract
PDF-file
LINK at Springer-Verlag

L.M. Kristensen, S. Christensen, K. Jensen: The Practitioner's Guide to Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 2 (1998), Springer Verlag, 98-132.

Keywords: Introduction to CP-nets, Simulation, State spaces, Occurrence graphs, CP-nets with time, Hierarchical CP-nets, Tool support, Application, General.
Comments: This paper provides a comprehensive road map to the practical use of CP-nets and the Design/CPN tool. The paper is self-contained and does not assume any prior knowledge of Petri nets and CP-nets nor any experience with the Design/CPN tool.
© Springer-Verlag. The original publication is available on LINK at <http://link.springer.de>.
Abstract
PDF-file
LINK at Springer-Verlag

K. Jensen: A Brief Introduction to Coloured Petri Nets. In: E. Brinksma (ed.): Tools and Algorithms for the Construction and Analysis of Systems. Proceeding of the TACAS'97 Workshop, Enschede, The Netherlands 1997, Lecture Notes in Computer Science Vol. 1217, Springer-Verlag 1997, 203-208.

Keywords: Introduction to CP-nets, General.
Comments: A very brief introduction to CP-nets and their analysis methods.
© Springer-Verlag
Abstract
PDF-file

K. Jensen: An Introduction to the Practical Use of Coloured Petri Nets. In: W. Reisig and G. Rozenberg (eds.): Lectures on Petri Nets II: Applications, Lecture Notes in Computer Science vol. 1492, Springer-Verlag 1998, 237-292.

Keywords: Introduction to CP-nets, Simulation, State spaces, Condensed state spaces, Occurrence graphs, CP-nets with time, Hierarchical CP-nets, Tool support, Application, General.
Comments: A good introduction to the practical use of CP-nets and the CPN tools.
© Springer-Verlag
Abstract
PDF-file

K. Jensen: An Introduction to the Theoretical Aspects of Coloured Petri Nets. In: J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.): A Decade of Concurrency, Lecture Notes in Computer Science vol. 803, Springer-Verlag 1994, 230-272.

Keywords: Introduction to CP-nets, Formal definition, Dynamic properties, State spaces, Occurrence graphs, Place invariants, General.
Comments: A good introduction to the theoretical aspects of CP-nets.
© Springer-Verlag
Abstract
PDF-file

Applications of CP-nets

L.M. Kristensen, J.B. Jørgensen and K. Jensen: Application of Coloured Petri Nets in System Development. In J. Desel, W. Reisig, G. Rozenberg (eds): Lectures on Concurrency and Petri Nets. Advanced in Petri Nets. Proc. of 4th Advanced Course on Petri Nets. Lecture Notes in Computer Science vol. 3098, Springer-Verlag 2004, 626-685.

Keywords: Case studies, modelling, state spaces.
Comments: This paper presents four case studies where CP-nets and their supporting computer tools have been used in system development projects with industrial partners. The case studies have been selected such that they illustrate different application areas of CP-nets in various phases of system development.
Abstract
PDF-file
LINK at Springer-Verlag

L.M. Kristensen and K. Jensen. Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad-hoc Networks. In Integration of Software Specification Techniques for Applications in Engineering. Springer Lecture Notes in Computer Science vol. 3147, Springer-Verlag 2004, 248-269.

Keywords: Case study, modelling, state spaces.
Comments: This paper presents two case studies where CP-nets and their supporting computer tools have been used for ad-hoc networks.
Abstract
PDF-file
LINK at Springer-Verlag

Other Papers on CP-nets

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

Keywords: Verification methods, State spaces, Occurrence graphs, Condensed state spaces, Equivalent system states, Exploitation of symmetries, Computer tools for state space analysis.
Comments: A good introduction to state spaces and condensed state spaces.
Abstract.

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.

Keywords: Semantics of programming languages, Applications.
Comments: This paper describes the formal semantics of a subset of PASCAL by means of a combination of denotational semantics and Coloured Petri nets. The paper is old. However, it describes an approach which still may be valuable - when translated to a more modern notation.

Historical Papers on CP-nets

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.

Kurt Jensen's entries in the Petri Nets Bibliography

Back to Kurt Jensen's Home Page!... Modification Date?