Computer Tools for Coloured Petri Nets

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


The practical use of CP-nets, just like all other description techniques, is highly dependent upon the existence of adequate computer tools — helping the user to handle all the details of a large description. For CP-nets we need an editor supporting construction, syntax check, and modification of CP-nets, and we also need a number of analysis programs supporting the different analysis methods. The recent development of fast and cheap raster graphics gives us the opportunity to work directly with the graphical representation of CP-nets (and occurrence graphs).


Computer Tool Code Segment Resource Allocation System Syntax Check Dead Marking 
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