The expressive power of time Petri nets

Theoretical Computer Science

Volumn 474, Issue , 2013, Pages 1-20

  Berard B ^a   Cassez, F ^b   Haddad, S ^c   Lime, D ^d   Roux, O H ^d  

^a SORBONNE UNIVERSITÉ   (France)

^b CSIRO   (Australia)

^c UNIVERSITÉ PARIS SACLAY   (France)

^d ECOLE CENTRALE DE NANTES   (France)

Author keywords

Bisimilarity; Expressiveness; Language equivalence; Time Petri nets; Timed automata

Indexed keywords

BISIMILARITY; EXPRESSIVENESS; LANGUAGE EQUIVALENCE; TIME PETRI NETS; TIMED AUTOMATA;

EQUIVALENCE CLASSES;

AUTOMATA THEORY;

EID: 84873737766     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2012.12.005     Document Type: Article

References (36)

1. B. Bérard, F. Cassez, S. Haddad, D. Lime, and O.H. Roux Comparison of the expressiveness of timed automata and time Petri nets 3rd Int. Conf. on Formal Modelling and Analysis of Timed Systems FORMATS 2005 Lecture Notes in Computer Science vol. 3829 2005 Springer-Verlag Uppsala, Sweden 211 225
2. P.A. Abdulla, and A. Nylén Timed Petri nets and BQOs 22nd Int. Conf. on Application and Theory of Petri Nets ICATPN'01 LNCS vol. 2075 2001 Springer-Verlag United Kingdom 53 70
3. D. de Frutos Escrig, V.V. Ruiz, and O.M. Alonso Decidability of properties of timed-arc Petri nets 21st Int. Conf. on Application and Theory of Petri Nets ICATPN'00 LNCS vol. 1825 2000 Springer-Verlag Aarhus, Denmark 187 206
4. J. Byg, K. Jørgensen, and J. Srba An efficient translation of timed-arc Petri nets to networks of timed automata 11th Int. Conf. on Formal Engineering Methods ICFEM'09 LNCS vol. 5885 2009 Springer-Verlag 698 716
5. P.M. Merlin, A study of the recoverability of computing systems, Ph.D. Thesis, Dep. of Information and Computer Science, University of California, Irvine, CA, 1974.
6. C. Ramchandani, Analysis of asynchronous concurrent systems by timed Petri nets, Ph.D. Thesis, Massachusetts Institute of Technology, Cambridge, MA, project MAC Report MAC-TR-120, 1974.
7. L. Popova-Zeugmann Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks Natural Computing 10 3 2011 1017 1043
8. S. Bernardi, and J. Campos Computation of performance bounds for real-time systems using time Petri nets IEEE Transactions on Industrial Informatics 5 2 2009 168 180
9. A. Aybar, and A. Iftar Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching Nonlinear Analysis: Hybrid Systems 6 1 2012 712 729
10. B. Berthomieu, P.-O. Ribet, F. Vernadat, The tool tina-construction of abstract state spaces for Petri nets and time Petri nets, International Journal of Production Research 42 (4), tool available at http://www.laas.fr/tina/.
11. G. Gardey, D. Lime, M. Magnin, and O.H. Roux Roméo: a tool for analyzing time Petri nets 17th Int. Conf. on Computer Aided Verification CAV 2005 Lecture Notes in Computer Science vol. 3576 2005 Springer-Verlag Edinburgh, Scotland, UK 418 423
12. D. Lime, O.H. Roux, C. Seidner, and L.-M. Traonouez Romeo: A parametric model-checker for Petri nets with stopwatches 15th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems TACAS 2009 Lecture Notes in Computer Science vol. 5505 2009 Springer York, United Kingdom 54 57
13. J. Sifakis Performance Evaluation of Systems using Nets Net theory and applications: Proc. of the advanced course on general net theory, processes and systems (Hamburg, 1979) LNCS vol. 84 1980 Springer-Verlag 307 319
14. M. Pezzè, Time Petri nets: a primer introduction, Tutorial presented at the Multi-Workshop on Formal Methods in Performance Evaluation and Applications, Zaragoza, Spain, September 1999.
15. B. Berthomieu, and M. Diaz Modeling and verification of time dependent systems using time Petri nets IEEE Transactions on Software Engineering 17 3 1991 259 273
16. H. Hanisch Analysis of place/transition nets with timed-arcs and its application to batch process control 14th Int. Conf. on Application and Theory of Petri Nets ICATPN'93 LNCS vol. 691 1993 282 299
17. W. Khansa, J.-P. Denat, S. Collart-Dutilleul, P-time Petri nets for manufacturing systems, in: Int. Workshop on Discrete Event Systems, WODES'96, Edinburgh (U.K.), 1996, pp. 94-102.
18. M. Boyer, and O.H. Roux On the compared expressiveness of arc, place and transition time Petri nets Fundamenta Informaticae 88 3 2008 225 249
19. N.D. Jones, L.H. Landweber, and Y.E. Lien Complexity of some problems in Petri nets Theoretical Computer Science 4 1977 277 299
20. T. Araki, and T. Kasami Some decision problems related to the reachability problem for Petri nets Theoretical Computer Science 3 1 1976 85 104
21. C. Dufourd, Réseaux de Petri avec reset/transfert: Décidabilité et indécidabilité, Ph.D. Thesis, ENS de Cachan, 1998.
22. R. Valk Self-modifying nets, a natural extension of Petri nets Fifth Colloquium on Automata, Languages and Programming Lecture Notes in Computer Science vol.62 1978 Springer Udine, Italy 464 476
23. R. Alur, and D.L. Dill Automata for modeling real-time systems Proc. 17th Int. Coll. Automata, Languages, and Programming ICALP'90, Warwick University, England, July 1990 Lecture Notes in Computer Science vol. 443 1990 Springer 322 335
24. R. Alur, and D.L. Dill A theory of timed automata Theoretical Computer Science 126 2 1994 183 235
25. R. Alur, L. Fix, and T.A. Henzinger Event-clock automata: a determinizable class of timed automata Theoretical Computer Science 211 1999
26. D. Lime, and O.H. Roux Model checking of time Petri nets using the state class timed automaton Journal of Discrete Events Dynamic Systems - Theory and Applications (DEDS) 16 2 2006 179 205
27. F. Cassez, and O.H. Roux Structural translation from time Petri nets to timed automata-model-checking time Petri nets via timed automata The Journal of Systems and Software 79 10 2006 1456 1468
28. S. Haar, F. Simonot-Lion, L. Kaiser, J. Toussaint, Equivalence of timed state machines and safe time Petri nets., in: WODES 2002, Zaragoza, 2002, pp. 119-126.
29. B. Berthomieu, F. Peres, and F. Vernadat Bridging the gap between timed automata and bounded time Petri nets Formal Modeling and Analysis of Timed Systems LNCS vol. 4202 2006 82 97
30. B. Bérard, F. Cassez, S. Haddad, D. Lime, and O.H. Roux When are timed automata weakly timed bisimilar to time Petri nets? Theoretical Computer Science 403 2-3 2008 202 220
31. P. Bouyer, S. Haddad, and P.-A. Reynier Extended timed automata and time Petri nets Proceedings of the 6th Int. Conf. on Application of Concurrency to System Design ACSD'06 2006 IEEE Computer Society Press Turku, Finland 91 100
32. J. Srba Comparing the expressiveness of timed automata and timed extensions of Petri nets 6th Int. Conf. on Formal Modelling and Analysis of Timed Systems FORMATS'08 LNCS vol. 5215 2008 Springer-Verlag 15 32
33. B. Bérard, F. Cassez, S. Haddad, D. Lime, and O.H. Roux Comparison of different semantics for time Petri nets 3rd Int. Symposium on Automated Technology for Verification and Analysis ATVA 2005 Lecture Notes in Computer Science vol. 3707 2005 Springer-Verlag Taipei, Taiwan 293 307
34. C. Dufourd, A. Finkel, and Ph. Schnoebelen Reset nets between decidability and undecidability 25th Int. Coll. on Automata, Languages and Programming ICALP'98 Lecture Notes in Computer Science vol. 1443 1998 Springer Aalborg, Denmark 103 115
35. T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine Symbolic model checking for real-time systems Information and Computation 111 2 1994 193 244
36. B. Bérard, V. Diekert, P. Gastin, and A. Petit Characterization of the expressive power of silent transitions in timed automata Fundamenta Informaticae 36 2 1998 145 182