Time-based expressivity of time Petri nets for system specification

Theoretical Computer Science

Volumn 216, Issue 1-2, 1999, Pages 1-53

  Cerone, Antonio ^a,c   Maggiolo Schettini, Andrea ^b  

^a GOETHE UNIVERSITY   (Germany)

^b UNIVERSITY OF PISA   (Italy)

^c UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

Expressive power; Formal language; Semantics; Time(d) Petri net; Time critical systems

Indexed keywords

EID: 0346397851     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(98)00008-5     Document Type: Article

References (28)

1. B. Berthomieu, M. Diaz, Modeling and verification of time dependent systems using time Petri nets, IEEE. Trans. Software Eng. 17 (1991) 259-273.
2. T. Bolognesi, P. Cremonese, The weakness of some timed models for concurrent systems, Tech. Report, CNUCE C89-29, CNUCE-CNR, Pisa, 1989.
3. B. Bucci, E. Vicario, Compositional validation of time-critical systems using communicating time Petri nets, IEEE. Trans. Software Eng. 21 (1995) 969-992.
4. H.-D. Burkhard, Ordered firings in Petri nets, Elektronische Informationsverarbeitung Kybernetik 17 (1981) 71-86.
5. A. Cerone, A net-based approach for specifying real-time systems, Ph.D. Thesis, TD-16/93, Dipartimento di Informatica, Università di Pisa, 1993.
6. A. Cerone, A. Maggiolo-Schettini, Expressivity of timed Petri nets: Classical versus time-critical viewpoint, in: Proc. Workshop on Concurrency, Specification and Programming, Warsaw Univ. Publishing Co., Warsaw, 1994, pp. 63-84.
7. A. Cerone, A. Maggiolo-Schettini, Time-based expressivity of timed Petri nets, Interner Bericht 12/95, Fachbereich Informatik, Goethe Universität, Frankfurt am Main, Germany, 1995.
8. J.E. Coholahan, N. Roussopoulos, Timed requirements for timed-driven systems using augmented Petri nets, IEEE. Trans. Software Eng. 9 (1983) 603-616.
9. M. Felder, D. Mandrioli, A. Morzenti, Proving properties of real-time systems through logical specification and Petri net models, Tech. Report 91-72, Dipartimento di Elettronica, Politecnico di Milano, 1991.
10. C. Ghezzi, D. Mandrioli, S. Morasca, M. Pezzè, A unified high-level Petri net formalism for time-critical systems, IEEE. Trans. Software Eng. 17 (1991) 160-172.
11. M.A. Holliday, M.K. Vernon, A generalized timed Petri net model for performance analysis, IEEE. Trans. Software Eng. 13 (1987) 1297-1310.
12. M. Jantzen, Language theory of Petri nets, in: W. Brauer, W. Reisig, G. Rozemberg (Eds.), Petri Nets: Central Models and their Properties, Lecture Notes in Computer Science, vol. 254, Springer, Berlin, 1987, pp. 397-434.
13. N.D. Jones, L.H. Landweber, Y.E. Lien, Complexity of some problems in Petri nets, Theoret. Comput. Sci. 4 (1977) 277-299.
14. N.G. Leveson, J.L. Stolzy, Safety analysis using Petri nets, IEEE. Trans. Software Eng. 13 (1987) 386-397.
15. A. Maggiolo-Schettini, J. Winkowski, A compositional semantics for timed Petri nets, Fundam. Inform. XIII (1990) 141-170.
16. P.M. Merlin, A study of recoverability of communication protocols, Ph.D. Thesis, Computer Science Department, University of California, 1974.
17. P.M. Merlin, D.J. Farber, Recoverability of communication protocols - implications of a theoretical study, IEEE Trans. Commun. 24 (1976) 1036-1043.
18. J. Ostroff, Temporal Logic for Real-Time Systems, Research Studies Press LTD, Taunton, 1989.
19. E. Pelz, Infinitary language of Petri nets and logical sentences, in: G. Rozenberg (Ed.), Advances in Petri Nets, Lecture Notes in Computer Science, vol. 266, Springer, Berlin, 1987, pp. 224-237.
20. J.L. Peterson, Petri Net Theory and the Modelling of Systems, Prentice-Hall, Englewood Cliffs, NJ, 1981.
21. L. Popova-Zeugmann, On time Petri nets, J. Inform. Process. Cybernet (formerly: Elektronische Informationsverarbeitung Kybernetik) 27 (1991) 227-244.
22. C.V. Ramamoorthy, G.S. Ho, Performance Evaluation of asynchronous concurrent systems using Petri nets, IEEE. Trans. Software Eng. 6 (1980) 440-449.
23. C. Ramchandani, Analysis of asynchronous concurrent systems using Petri nets, Ph.D. Thesis, Project MAC, MAC-TR 120, MIT 1974.
24. J. Sifakis, Performance evaluation of systems using nets, in: W. Brauer (Ed.), Net Theory and Applications, Lecture Notes in Computer Science, vol. 84, Springer, Berlin, 1980, pp. 307-319.
25. P.H. Starke, Free Petri net languages, Lecture Notes in Computer Science, vol. 64, Springer, Berlin, 1978, pp. 506-515.
26. P.H. Starke, Some properties of timed nets under the earliest firing rule, Lecture Notes in Computer Science, vol. 424, Springer, Berlin, 1990, pp. 418-432.
27. R. Valk, Infinite behaviour of Petri nets, Theoret. Comput. Sci. 25 (1983) 311-341.
28. B. Walter, Timed Petri-nets for modelling and analyzing protocols with real-time characteristics, in: H. Rudin, C.H. West (Eds.), Proc. 3rd IFIP Workshop on Protocol Specification, Testing, and Verification, North-Holland, Amsterdam, 1983, pp. 149-159.