In: Ajmone Marsan, M.: Lecture Notes in Computer Science, Vol. 691; Application and Theory of Petri Nets 1993, Proceedings 14th International Conference, Chicago, Illinois, USA, pages 186-205. Springer-Verlag, 1993. Available at http://www.daimi.au.dk/CPnets/publ/full-papers/ChrHan1993.pdf.
Abstract: In this paper we show how to extend Coloured Petri Nets (CP-nets) with three new modelling primitives - place capacities, test arcs and inhibitor arcs. The new modelling primitives are introduced to improve the possibilities of creating models that are on the one hand compact and comprehensive and on the other hand easy to develop, understand and analyse. A number of different place capacity and inhibitor concepts have been suggested earlier, e.g., integer and multi-set capacities and zero-testing and threshold inhibitors. These concepts can all be described as special cases of the more general place capacity and inhibitor concepts defined in this paper. We give an informal description of the new concepts and show how the concepts can be formally defined and integrated in the Petri net framework - keeping the basic properties of CP-nets.