en
Proceedings chapter
Open access
English

Real-Time Synchronised Petri Nets

Presented at Adelaide (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. 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
ISBN978-3-540-43787-1
645views
388downloads

Technical informations

Creation03/17/2015 3:25:00 PM
First validation03/17/2015 3:25:00 PM
Update time03/14/2023 11:02:40 PM
Status update03/14/2023 11:02:40 PM
Last indexation08/29/2023 3:23:05 PM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack