Adding Real Time Constraints to Synchronised Petri Nets

@inproceedings{Serugendo2000AddingRT,
  title={Adding Real Time Constraints to Synchronised Petri Nets},
  author={Giovanna Di Marzo Serugendo and Dino Mandrioli and Didier Buchs and Nicolas Guelfi},
  year={2000}
}
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.