For the most recent entries see the Petri Nets Newsletter.

Adding Real-Time Constraints to Synchronised Petri Nets.

Di Marzo Serugendo, Giovanna; Mandrioli, D.; Buchs, D.; Guelfi, N.

In: 341, Software Engineering Laboratory, Swiss Federal Institute of Technology, Lausanne, Switzerland: Technical Report 2000, pages 1-24. October 2000. Url:

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography