Show simple item record

dc.contributor.authorBouyer, Patricia
HAL ID: 174420
ORCID: 0000-0002-2823-0911
dc.contributor.authorHaddad, Serge
HAL ID: 745039
dc.contributor.authorReynier, Pierre-Alain
HAL ID: 7759
dc.date.accessioned2010-11-29T13:48:09Z
dc.date.available2010-11-29T13:48:09Z
dc.date.issued2006
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/5195
dc.language.isoenen
dc.subjectTimed Petri netsen
dc.subjecttimed automataen
dc.subject.ddc004en
dc.titleExtended Timed Automata and Time Petri Netsen
dc.typeCommunication / Conférence
dc.description.abstractenTimed automata (TA) and time Petri nets (TPN) are two well-established formal models for real-time systems. Recently, a linear transformation of TA to TPNs preserving reachability properties and timed languages has been proposed, which does however not extend to larger classes of TA which would allow diagonal constraints or more general resets of clocks. Though these features do not add expressiveness, they yield exponentially more concise models. In this work, we propose two translations: one from extended TA to TPNs whose size is either linear or quadratic in the size of the original TA, depending on the features which are allowed; another one from a parallel composition of TA to TPNs, which is also linear. As a consequence, we get that TPNs are exponentially more concise than TA.en
dc.identifier.citationpages91-100en
dc.relation.ispartoftitleSixth International Conference on Application of Concurrency to System Design, 2006. ACSD 2006.en
dc.relation.ispartofpublnameIEEE Computer Societyen
dc.relation.ispartofdate2006
dc.description.sponsorshipprivateouien
dc.subject.ddclabelInformatique généraleen
dc.relation.ispartofisbn0-7695-2556-3en
dc.relation.conftitleSixth International Conference on Application of Concurrency to System Design, ACSD 2006en
dc.relation.confdate2006-06
dc.relation.confcityTurkuen
dc.relation.confcountryFinlandeen
dc.identifier.doihttp://dx.doi.org/10.1109/ACSD.2006.6


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record