Show simple item record

dc.contributor.authorRoux, Olivier-Henri
HAL ID: 17486
dc.contributor.authorBérard, Béatrice
HAL ID: 9360
dc.contributor.authorCassez, Franck
dc.contributor.authorHaddad, Serge
HAL ID: 745039
dc.contributor.authorLime, Didier
HAL ID: 17326
dc.date.accessioned2010-05-06T08:54:42Z
dc.date.available2010-05-06T08:54:42Z
dc.date.issued2005
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/4111
dc.language.isoenen
dc.subjectExpressivenessen
dc.subjectTimed Automataen
dc.subjectTime Petri Netsen
dc.subjectTimed Bisimilarityen
dc.subjectTimed Languageen
dc.subject.ddc004en
dc.titleComparison of the Expressiveness of Timed Automata and Time Petri Netsen
dc.typeCommunication / Conférence
dc.description.abstractenIn this paper we consider the model of Time Petri Nets (TPN) where time is associated with transitions. We also consider Timed Automata (TA) as defined by Alur & Dill, and compare the expressiveness of the two models w.r.t. timed language acceptance and (weak) timed bisimilarity.en
dc.identifier.citationpages211-225en
dc.relation.ispartofseriestitleLecture Notes in Computer Science
dc.relation.ispartofseriesnumber3829
dc.relation.ispartoftitleFormal Modeling and Analysis of Timed Systems. Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedingsen
dc.relation.ispartofeditorPettersson, Paul
dc.relation.ispartofeditorYi, Wang
dc.relation.ispartofpublnameSpringeren
dc.relation.ispartofpublcityBerlinen
dc.relation.ispartofdate2005
dc.relation.ispartofpages305en
dc.relation.ispartofurlhttp://dx.doi.org/10.1007/11603009en
dc.description.sponsorshipprivateouien
dc.subject.ddclabelInformatique généraleen
dc.relation.ispartofisbn978-3-540-30946-8en
dc.relation.conftitleFORMATS'05 Third International Conference on Formal Modelling and Analysis of Timed Systemsen
dc.relation.confdate2005-09
dc.relation.confcityUppsalaen
dc.relation.confcountrySuèdeen
dc.identifier.doihttp://dx.doi.org/10.1007/11603009_17


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record