Old Overview Papers (1994-98)

This web-page contains a number of old overview papers, which now primarily are of historical interest. For more updated information please see the New Overview Paper or the New CPN Book.

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.
  • 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