In: J. Esparza, C. Lakos (Eds.): Lecture Notes in Computer Science, Vol. 2360: 23rd International Conference on Applications and Theory of Petri Nets, Adelaide, Australia, June 24-30, 2002, pages 142-162. Springer Verlag, June 2002. URL: http://cui.unige.ch/~dimarzo/papers/PN02.pdf.
Abstract: This paper presents the combination of two well established principles: the CO-OPN synchronisation mechanism, and the Merlin and Farber time Petri nets. Real-time synchronised Petri nets systems are then defined such that a Petri net is an object that can ask to be synchronised with another net, and whose transition firing is constrained by relative time intervals. Our proposal enables to define complex systems with compact specifications, whose semantics is given through a small set of Structured Operational Semantics (SOS) rules. The applicability of the new model is shown by applying it to a traditional benchmark adopted in the literature of real-time systems.
Keywords: CO-OPN; Petri nets; real-time; inhibitor arcs.