Timed petri nets and timed automata: On the discriminating power of zeno sequences

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

Volumn 4052 LNCS, Issue , 2006, Pages 420-431

  Bouyer, Patricia ^a   Haddad, Serge ^b   Reynier, Pierre Alain ^a  

^a CNRS   (France)

^b UNIVERSITÉ PARIS DAUPHINE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; REAL TIME SYSTEMS;

TIMED AUTOMATA; TIMED LANGUAGE EQUIVALENCE; TIMED PETRI NETS;

PETRI NETS;

EID: 33746323977     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11787006_36     Document Type: Conference Paper

References (12)

1. P. A. Abdulla, P. Mahata, and R. Mayr. Decidability of Zenoness, syntactic boundedness and token-liveness for dense-timed petri nets. In Proc. 24th Conf. Foundations of Software Technology and Theoretical Computer Science (FST&TCS'04), volume 3328 of Lecture Notes in Computer Science, pages 58-70. Springer, 2004.
2. P. A. Abdulla and A. Nylén. Timed Petri nets and bqos. In Proc. 22nd Int. Conf. Application and Theory of Petri Nets (ICATPN'01), volume 2075 of Lecture Notes in Computer Science, pages 53-70. Springer, 2001.
3. R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126(2): 183-235, 1994.
4. B. Berthomieu and M. Diaz. Modeling and verification of time dependent systems using time Petri nets. IEEE Transactions in Software Engineering, 17(3):259-273, 1991.
5. P. Bouyer, C. Dufourd, E. Fleury, and A. Petit. Updatable timed automata. Theoretical Computer Science, 321(2-3):291-345, 2004.
6. P. Bouyer, S. Haddad, and P.-A. Reynier. Timed Petri nets and timed automata: On the discriminating power of Zeno sequences. Research Report LSV-06-06, ENS de Cachan, France, 2006.
7. P. Bouyer, S. Haddad, and P.-A. Reynier. Timed unfoldings of networks of timed automata. Research Report LSV-06-09, ENS de Cachan, France, 2006.
8. C. Girault and R. Valk, editors. Petri Nets for Systems Engineering. Springer, 2002.
9. P. Mahata. Model Checking Parameterized Timed Systems. PhD thesis, Dept. Information Technology, Uppsala University, Sweden, 2005.
10. U. Montanari and F. Rossi. Contextual nets. Acta Informatica, 32(6):545-596, 1995.
11. J. Srba. Timed-arc Petri nets vs. networks of timed automata. In Proc. 26th International Conference Application and Theory of Petri Nets (ICATPN'05), volume 3536 of Lecture Notes in Computer Science, pages 385-402. Springer, 2005.
12. V. Valero Ruiz, F. Cuartero Gomez, and D. de Frutos-Escrig. On non-decidability of reachability for timed-arc Petri nets. In Proc. 8th Int. Work. Petri Nets and Performance Models (PNPM'03), pages 188-196. IEEE Computer Society Press, 1999.