UNIGE document Chapitre d'actes
previous document  unige:48312  next document
add to browser collection
Title

Real-Time Synchronised Petri Nets

Authors
Mandrioli, Dino
Guelfi, Nicolas
Published in Esparza, J. & Lakos, C. Proceedings of the 23rd International Conference: Application and Theory of Petri Nets - ICATPN 2002. Adelaide (Australia) - 24-30 June 2002 - Berlin: Springer. 2002, p. 163-181
Collection Lecture Notes in Computer Science; 2360
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-OPNPetri netsReal-timeInhibitor arcs
Identifiers
ISBN: 978-3-540-43787-1
Full text
Structures
Research group Institute of Information Service Science (ISS)
Citation
(ISO format)
DI MARZO SERUGENDO, Giovanna et al. Real-Time Synchronised Petri Nets. In: Esparza, J. & Lakos, C. (Ed.). Proceedings of the 23rd International Conference: Application and Theory of Petri Nets - ICATPN 2002. Adelaide (Australia). Berlin : Springer, 2002. p. 163-181. (Lecture Notes in Computer Science; 2360) https://archive-ouverte.unige.ch/unige:48312

323 hits

141 downloads

Update

Deposited on : 2015-03-18

Export document
Format :
Citation style :