In: Proc. of the Fifth Int. Conf. on Systems Engineering, Dayton, pages 395-401. New York: IEEE, 1987.
Abstract: The author describes a Petri net model, called coloured Petri nets (CP-nets), by means of which it is possible to describe large systems without having to cope with unnecessary details. The author introduces CP-nets and provide a first impression of their modeling power and the suitability of their analysis methods.