In: 341, Software Engineering Laboratory, Swiss Federal Institute of Technology, Lausanne, Switzerland: Technical Report 2000, pages 1-24. October 2000. Url: http://cui.unige.ch/~dimarzo/papers/TR-2000-341.pdf.
Abstract: This report defines synchronised Petri nets with inhibitor arcs and an extension of these nets that integrates real-time constraints. The semantics of these nets is given by a transition system built using Structured Operational Semantics (SOS) rules. This report is part of a larger framework that attempts to attach real-time constraints to the CO-OPN/2 language.
Keywords: Real Time, Linear Temporal Logic, Synchronised Petri Nets.