Proceedings chapter
OA Policy
English

Real-Time Synchronised Petri Nets

Presented atAdelaide (Australia), 24-30 June 2002
PublisherBerlin : Springer
Collection
  • Lecture Notes in Computer Science; 2360
Publication date2002
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-OPN
  • Petri nets
  • Real-time
  • Inhibitor arcs
Citation (ISO format)
DI MARZO SERUGENDO, Giovanna et al. Real-Time Synchronised Petri Nets. In: Proceedings of the 23rd International Conference: Application and Theory of Petri Nets - ICATPN 2002. Esparza, J. & Lakos, C. (Ed.). Adelaide (Australia). Berlin : Springer, 2002. p. 163–181. (Lecture Notes in Computer Science) doi: 10.1007/3-540-48068-4_10
Main files (1)
Proceedings chapter (Published version)
accessLevelPublic
Identifiers
Additional URL for this publicationhttp://cui.unige.ch/~dimarzo/papers/PN02.pdf
ISBN978-3-540-43787-1
783views
525downloads

Technical informations

Creation17/03/2015 15:25:00
First validation17/03/2015 15:25:00
Update14/03/2023 23:02:40
Status update14/03/2023 23:02:40
Last indexation30/04/2025 15:17:06
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack