Formal Analysis of Coloured Petri Nets

  • Kurt Jensen
Part of the EATCS Monographs in Theoretical Computer Science book series (EATCS)


This chapter contains an informal introduction to the analysis of CP-nets. The most straightforward kind of analysis is simulation, which in many respects is similar to the testing and execution of a program. A good CPN simulator is analogous to a good program debugger. It assists the user in a careful examination of some of the possible execution sequences.


Reduction Rule Process Control System Liveness Property Transition Invariant Full Graph 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Kurt Jensen
    • 1
  1. 1.Computer Science DepartmentAarhus UniversityAarhus CDenmark

Personalised recommendations