
Timed Petri nets and timed automata: On the discriminating power of zeno sequences
Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain (2008), Timed Petri nets and timed automata: On the discriminating power of zeno sequences, Information and Computation, 206, 1, p. 73-107. http://dx.doi.org/10.1016/j.ic.2007.10.004
View/ Open
Type
Article accepté pour publication ou publiéDate
2008Journal name
Information and ComputationVolume
206Number
1Publisher
Elsevier
Pages
73-107
Publication identifier
Metadata
Show full item recordAbstract (EN)
Timed Petri nets and timed automata are two standard models for the analysis of real-time systems. We study in this paper their relationship, and prove in particular that they are incomparable with respect to language equivalence. In fact, we study the more general model of timed Petri nets with read-arcs (RA-TdPN), already introduced in [J. Srba, Timed-arc petri nets vs. networks of automata, in: Proceedings of the 26th International Conference Application and Theory of Petri Nets (ICATPN 05), Lecture Notes in Computer Science, vol. 3536, Springer, Berlin, 2005, pp. 385–402], which unifies both models of timed Petri nets and of timed automata, and prove that the coverability problem remains decidable for this model. Then, we establish numerous expressiveness results and prove that Zeno behaviours discriminate between several sub-classes of RA-TdPNs. This has surprising consequences on timed automata, for instance, on the power of non-deterministic clock resets.Subjects / Keywords
Timed automata; Timed petri nets; ExpressivenessRelated items
Showing items related by title and author.
-
Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain (2006) Communication / Conférence
-
Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain (2006) Communication / Conférence
-
Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain (2006) Communication / Conférence
-
Roux, Olivier-Henri; Bérard, Béatrice; Cassez, Franck; Haddad, Serge; Lime, Didier (2005) Communication / Conférence
-
Haddad, Serge; Recalde, Laura; Silva, Manuel (2006) Communication / Conférence