Real-Time Synchronised Petri Nets
ContributorsDi Marzo Serugendo, Giovanna
; Mandrioli, Dino; Buchs, Didier; Guelfi, Nicolas
Presented atAdelaide (Australia), 24-30 June 2002
Published inEsparza, J. & Lakos, C. (Ed.), Proceedings of the 23rd International Conference: Application and Theory of Petri Nets - ICATPN 2002, p. 163-181
PublisherBerlin : Springer
Collection
- Lecture Notes in Computer Science; 2360
Publication date2002
Abstract
Keywords
- CO-OPN
- Petri nets
- Real-time
- Inhibitor arcs
Affiliation entities
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)
Identifiers
- PID : unige:48312
- DOI : 10.1007/3-540-48068-4_10
Additional URL for this publicationhttp://cui.unige.ch/~dimarzo/papers/PN02.pdf
ISBN978-3-540-43787-1
