A brief introduction to coloured Petri Nets (original) (raw)

Abstract

Coloured Petri Nets (CP-nets or CPN) is a graphical oriented language for design, specification, simulation and verification of systems. It is in particular well-suited for systems in which communication, synchronisation and resource sharing are important. Typical examples of application areas are communication protocols, distributed systems, imbedded systems, automated production systems, work flow analysis and VLSI chips.

The development of CP-nets has been driven by the desire to develop a modelling language — at the same time theoretically well-founded and versatile enough to be used in practice for systems of the size and complexity we find in typical industrial projects. To achieve this, we have combined the strength of Petri nets with the strength of programming languages. Petri nets provide the primitives for the description of the synchronisation of concurrent processes, while programming languages provide the primitives for the definition of data types and the manipulation of data values.

Chapter PDF

Keywords

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. K. Jensen. Coloured Petri Nets — Basic Concepts, Analysis Methods and Practical Use. Vol. 1: Basic Concepts, 1992, Vol. 2: Analysis Methods, 1994, Vol. 3: Practical Use, 1997. Monographs in Theoretical Computer Science. Springer-Verlag.
    Google Scholar
  2. K. Jensen. Colored Petri Nets: A High-level Language for System Design and Analysis. In G. Rozenberg, editor, Advances in Petri Nets 1990, volume 483 of Lecture Notes in Computer Science. Springer-Verlag, 1991.
    Google Scholar
  3. K. Jensen. An Introduction to the Theoretical Aspects of Coloured Petri Nets. In J.W. de Bakker and W.-P. de Roever, editors, A Decade of Concurrency, Reflections and Perspectives, volume 803 of Lecture Notes in Computer Science. Springer-Verlag, 1994.
    Google Scholar
  4. K. Jensen. Condensed State Spaces for Symmetrical Coloured Petri Nets. Formal Methods in System Design 9, Kluwer Academic Publishers, 1996.
    Google Scholar

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, University of Aarhus, Ny Munkegade, Bldg. 540, DK-8000, Aarhus C, Denmark
    Kurt Jensen

Authors

  1. Kurt Jensen
    You can also search for this author inPubMed Google Scholar

Editor information

Ed Brinksma

Rights and permissions

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jensen, K. (1997). A brief introduction to coloured Petri Nets. In: Brinksma, E. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 1997. Lecture Notes in Computer Science, vol 1217. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035389

Download citation

Publish with us