Industrial Applications of Coloured Petri Nets

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


This chapter describes four of the projects which have used hierarchical CP-nets for modelling and analysis. All the projects have worked with reasonably large models, typically 15–50 pages and 25–150 page instances. They have all used the CPN tools described in Chap. 6, and they have been carried out in industrial environments, where efficiency parameters such as turn-around time and the use of man-hours are key issues.


Command Post User Part VLSI Chip Radar Surveillance Electronic Fund Transfer 
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