Timed-arc Petri nets vs. Networks of timed automata

Lecture Notes in Computer Science

Volumn 3536, Issue , 2005, Pages 385-402

  Srba, Jiří ^a  

^a AALBORG UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTER AIDED SOFTWARE ENGINEERING; POLYNOMIALS;

1-SAFE TIMED-ARC PETRI NETS; ISOMORPHISM;

PETRI NETS;

EID: 26444513719     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11494744_22     Document Type: Conference Paper

References (29)

1. P.A. Abdulla and A. Nyln. Timed Petri nets and BQOs. In Proc. of the 22nd International Conference on Application and Theory of Petri Nets (ICATPN'01), volume 2075 of LNCS, pages 53-70. Springer-Verlag, 2001.
2. L. Aceto and F. Laroussinie. Is your model checker on time? On the complexity of model checking for timed modal logics. Journal of Logic and Algebraic Programming, 52-53:7-51, 2002.
3. R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183-235, 1994.
4. A. Arnold. Finite Transition Systems. Prentice-Hall, 1994.
5. B. Berard, A. Petit, V. Diekert, and P. Gastin. Characterization of the expressive power of silent transitions in timed automata. Fundamenta Informaticae, 36(2-3): 145-182, 1998.
6. B. Berthomieu, P-O. Ribet, and F. Vernadat. The tool tina - construction of abstract state spaces for petri nets and time petri nets. International Journal of Production Research, 2004. To appear.
7. T. Bolognesi, F. Lucidi, and S. Trigila. From timed Petri nets to timed LOTOS. In Proc. of the IFIP WG 6.1 Tenth International Symposium on Protocol Specification, Testing and Verification (Ottawa 1990), pages 1-14. 1990.
8. S. Bornot, J. Sifakis, and S. Tripakis. Modeling urgency in timed systems. In International Symposium: Compositionality - The Significant Difference, Malente (Holstein, Germany), volume 1536 of LNCS, 1998.
9. P. Bouyer. Untameable timed automata! In Proc. of the 20th Annual Symposium on Theoretical Aspects of Computer Science (STACS'03), volume 2607 of LNCS, pages 620-631. Springer-Verlag, 2003.
10. Fred D.J. Bowden. Modelling time in Petri nets. In Proc. of the Second Australia-Japan Workshop on Stochastic Models, 1996. http://www.itr.unisa.edu. au/~fbowden/pprs/stomod96/.
11. M. Boyer and M. Diaz. Non equivalence between time Petri nets and time stream Petri nets. In Proc. of the 8th International Workshop on Petri Nets and Performance Models (PNPM'99), pages 198-207. IEEE Computer Society, 1999.
12. M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis, and S. Yovine. Kronos: A model-checking tool for real-time systems. In Proc. of the 10th International Conference on Computer-Aided Verification (CAV'98), volume 1427 of LNCS, pages 546-550. Springer-Verlag, 1998.
13. N. Busi and G.M. Pinna. Process semantics for place/transition nets with inhibitor and read arcs. Fundamenta Informaticae, 40(2-3): 165-197, 1999.
14. F. Cassez and O.H. Roux. Structural translation of time petri nets into timed automata. In Workshop on Automated Verification of Critical Systems (AVoCS'04), ENTCS. Elsevier, 2004.
15. A. Cheng, J. Esparza, and J. Palsberg. Complexity results for 1-safe nets. Theoretical Computer Science, 147(1-2): 117-136, 1995.
16. S. Haar, F. Simonot-Lion, L. Kaiser, and J. Toussaint. Equivalence of timed state machines and safe time Petri nets. In Proc. of the 6th International Workshop on Discrete Event Systems (WODES'02), pages 119-126, 2002.
17. H.M. Hanisch. Analysis of place/transition nets with timed-arcs and its application to batch process control. In Proc. of the 14th International Conference on Application and Theory of Petri Nets (ICATPN'93), volume 691 of LNCS, pages 282-299, 1993.
18. D. Kozen. Lower bounds for natural proof systems. In Proc. of the 18th Annual Symposium on Foundations of Computer Science, pages 254-266. IEEE, 1977.
19. F. Laroussinie and K.G. Larsen. CMC: A tool for compositional model-checking of real-time systems. In Proc. of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII), pages 439-456. Kluwer, B.V., 1998.
20. F. Laroussinie, N. Markey, and Ph. Schnoebelen. On model checking durational Kripke structures. In Proc. of the 5th International Conference on Foundations of Software Science and Computation Structures (FOSSACS'02), volume 2303 of LNCS, pages 264-279. Springer-Verlag, 2002.
21. K.G. Larsen, P. Pettersson, and W. Yi. UPPAAL in a Nutshell. International Journal on Software Tools for Technology Transfer, 1(1-2):134-152, 1997.
22. D. Lime and O.H. Roux. State class timed automaton of a time Petri net. In Proc. of the 10th International Workshop on Petri Net and Performance Models (PNPM'OS), pages 124-133, 2003.
23. M. Nielsen, V. Sassone, and J. Srba. Properties of distributed timed-arc Petri nets. In Proc. of the 21st International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'01), volume 2245 of LNCS, pages 280-291. Springer-Verlag, 2001.
24. O. Roux, D. Lime, and G. Gardey. software studio for time Petri net analysis, http://www.irccyn.ec-nantes.fr/irccyn/d/en/equipes/TempsReel/logs /software-2-romeo.
25. V. Valero Ruiz, D. de Frutos Escrig, and O. Marroquin Alonso. Decidability of properties of timed-arc Petri nets. In Proc. of the 21st International Conference on Application and Theory of Petri Nets (ICATPN'00), volume 1825 of LNCS, pages 187-206. Springer-Verlag, 2000.
26. V. Valero Ruiz, F. Cuartero Gomez, and D. de Frutos Escrig. On non-decidability of reachability for timed-arc Petri nets. In Proc. of the 8th International Workshop on Petri Net and Performance Models (PNPM'99), pages 188-196, 1999.
27. J. Sifakis and S. Yovine. Compositional specification of timed systems. In Proc. of the 13th Annual Symposim on Theoretical Aspects of Computer Science (STACS'96), volume 1046 of LNCS, pages 347-359. Springer-Verlag, 1996.
28. W. Vogler. Partial order semantics and read arcs. Theoretical Computer Science, 286(1):33-63, 2002.
29. J. Wang. Timed Petri Nets, Theory and Application. Kluwer Academic Publishers, 1998.