Afficher la notice abrégée

dc.contributor.authorBouyer, Patricia
dc.contributor.authorHaddad, Serge
dc.contributor.authorReynier, Pierre-Alain
dc.date.accessioned2014-03-27T12:55:41Z
dc.date.available2014-03-27T12:55:41Z
dc.date.issued2008
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/12975
dc.language.isoenen
dc.subjectTimed automataen
dc.subjectTimed petri netsen
dc.subjectExpressivenessen
dc.subject.ddc518en
dc.titleTimed Petri nets and timed automata: On the discriminating power of zeno sequencesen
dc.typeArticle accepté pour publication ou publié
dc.description.abstractenTimed 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.en
dc.relation.isversionofjnlnameInformation and Computation
dc.relation.isversionofjnlvol206en
dc.relation.isversionofjnlissue1en
dc.relation.isversionofjnldate2008
dc.relation.isversionofjnlpages73-107en
dc.relation.isversionofdoihttp://dx.doi.org/10.1016/j.ic.2007.10.004en
dc.relation.isversionofjnlpublisherElsevieren
dc.subject.ddclabelModèles mathématiques. Algorithmesen
dc.relation.forthcomingnonen
dc.relation.forthcomingprintnonen


Fichiers attachés à cette notice

Thumbnail

Ce document fait partie de la (des) collection(s) suivante(s)

Afficher la notice abrégée