In: Daimi PB-390. 1992. ISSN 0105-8517.
Also in: Valette, R.: Lecture Notes in Computer Science, Vol. 815; Application and Theory of Petri Nets 1994, Proceedings 15th International Conference, Zaragoza, Spain, pages 159-178. Springer-Verlag, 1994. Abridged version; available at http://www.daimi.au.dk/CPnets/publ/full-papers/ChrHan1994.pdf.
Abstract: This paper shows how Coloured Petri Nets (CP-nets) can be extended to support synchronous communication. We introduce coloured communication channels through which transitions are allowed to communicate complex values. Small examples show how channel communication is convenient for creating compact and comprehensive models. The concepts introduc ed in this paper originate from the practical use of Petri nets for modelling, and they are formally defined in such a way that they preserve the basic properties of CP-nets. We show how a CP-net with chennels can be transformed into a behaviourally equivalent CP-net. This allows us to deduce properties of CP-nets with chennels from well-known properties of CP-nets. As an example, we extend the concept of plac e invariants to cope with CP-nets with channels and show how place invariants can be found. This is done without transforming the CP-nets with channels into their equivalent CP-nets. The reader is assumed to be familiar with the notion of CP-nets