Real-time synchronised petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2360 LNCS, Issue , 2002, Pages 142-162

  Di Marzo Serugendo, Giovanna ^a   Mandrioli, Dino ^b   Buchs, Didier ^c   Guelfi, Nicolas ^d  

^a UNIVERSITY OF GENEVA   (Switzerland)

^b POLITECNICO DI MILANO   (Italy)

^c EPFL   (Switzerland)

^d UNIVERSITY OF LUXEMBOURG   (Luxembourg)

Author keywords

CO OPN; Inhibitor arcs; Petri nets; Real time

Indexed keywords

INTERACTIVE COMPUTER SYSTEMS; PETRI NETS; SEMANTICS; SYNCHRONIZATION;

INHIBITOR ARCS; REAL TIME; RELATIVE TIME; STRUCTURED OPERATIONAL SEMANTICS; TIME PETRI NETS; TRANSITION FIRINGS;

REAL TIME SYSTEMS;

EID: 21244500391     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48068-4_10     Document Type: Conference Paper

References (12)

1. B. Berthomieu. La méthode des Classes d'Etats pour l'Analyse des Réseaux Temporels-Mise en Oeuvre, Extension a la multi-sensibilisation. In Modélisation des Systemes Réactifs, MSR'2001. Hermes, 2001. 161
2. O. Biberstein, D. Buchs, and N. Guelfi. Object-oriented nets with algebraic specifications: The CO-OPN/2 formalism. In G. Agha, F. De Cindio, and G. Rozenberg, editors, Advances in Petri Nets on Object-Orientation, volume 2001 of LNCS, pages 70-127. Springer-Verlag, 2001. 147
3. G. Bucci and E. Vicario. Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets. IEEE Transactions on Software Engineering, 21(12):969-992, 1995. 161
4. D. Buchs and N. Guelfi. A formal specification framework for object-oriented distributed systems. IEEE Transactions on Software Engineering, Special Section on Formal Methods for Object Systems, 26(7):635-652, July 2000. 142
5. G. Di Marzo Serugendo, D. Mandrioli, D. Buchs, and N. Guelfi. Real-time synchronised Petri nets. Technical Report 2000/341, Swiss Federal Institute of Technology (EPFL), Software Engineering Laboratory, Lausanne, Switzerland, 2000. 144, 152
6. M. Felder, D. Mandrioli, and A. Morzenti. Proving properties of real-time systems through logical specifications and Petri net models. IEEE Transactions on Software Engineering, 20(2):127-141, February 1994. 147
7. A. Gargantini and A. Morzenti. Automated Deductive Requirements Analysis of Critical Systems. ACM TOSEM-Transactions On Software Engineering and Methodologies, 10(3):255-307, July 2001. 161
8. C. Heitmeyer and D. Mandrioli, editors. Formal methods for real-time computing. John Wiley & Sons, 1996. 156, 161
9. M. Koutny. A Compositional Model of Time Petri Nets. In M. Nielsen and D. Simpson, editors, International Conference on Application and Theory of Petri Nets 2000, volume 1825 of LNCS, pages 303-322. Springer-Verlag, 2000. 161
10. C. A. Lakos and S. Christensen. A General Systematic Approach to Arc Extensions for Coloured Petri Nets. In R. Vallette, editor, Proceedings of the 15th International Conference on Application and Theory of Petri Nets, volume 815 of LNCS, pages 338-357. Springer-Verlag, 1994. 142
11. P.M. Merlin and D.J. Farber. Recoverability of communication protocols-implications of a theoretical study. IEEE Transactions on Communications, 24(9):1036-1043, 1976. 142
12. S. Souksavanh. Operational Semantics for Real-Time Synchronized Petri Nets. Master's thesis, Swiss Federal Institute of Technology (EPFL), Software Engineering Laboratory, Lausanne, Switzerland, 2002. 161