Highly Influenced

# 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} }

- Published 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.