Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg
1 Department of Computer Science, Faculty of Science, Aarhus University, Aarhus University2 Department of Computer Science, Science and Technology, Aarhus University3 Department of Computer Science, Science and Technology, Aarhus University
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.
Lecture Notes in Computer Science: Advances in Petri Nets 1986, Part I, 1987, p. 248-299
High-level Petri nets; analysis methods; place-invariants and reachability trees