Show simple item record

Asynchronous Composition of High-level Petri nets: a Quantitative Approach

dc.contributor.authorHaddad, Serge
HAL ID: 745039
dc.contributor.authorMoreaux, Patrice
HAL ID: 10630
dc.date.accessioned2010-11-29T13:09:42Z
dc.date.available2010-11-29T13:09:42Z
dc.date.issued1996
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/5190
dc.language.isoenen
dc.subjectasynchronisationen
dc.subjectsynchronisationen
dc.subjectparallel systemsen
dc.subjectdecompositionen
dc.subjectaggregationen
dc.subjectPetri netsen
dc.subjectStochastic Well Formed Netsen
dc.subject.ddc004en
dc.titleAsynchronous Composition of High-level Petri nets: a Quantitative Approachen
dc.typeCommunication / Conférence
dc.description.abstractenStochastic Well Formed Nets (SWNs) are a powerful Petri Net model which allows the computation of performance indices with an aggregation method. Decomposition methods initiated by B. Plateau are another way to reduce the complexity of such a computation. We have shown in a previous work, how to combine these two approaches for systems with synchronous composition. Despite similarities between the asynchronous and synchronous cases, it turns out that the former presents specificities that need theoretical foundations. We undertake this task in the present paper. We derive necessary conditions on the modeled systems that allow for the two methods to be combined. For parallel systems satisfying these necessary conditions we develop a model with the corresponding algorithm. This model, based upon synchronization of "global" tokens moving across submodels, covers a large range of real life systems. An example shows the intuitive ideas behind these developments.en
dc.identifier.citationpages192-211en
dc.relation.ispartofseriestitleLecture Notes in Computer Science
dc.relation.ispartofseriesnumber1091
dc.relation.ispartoftitleApplication and Theory of Petri Nets 1996 17th International Conference, Osaka, Japan, June 24-28, 1996. Proceedingsen
dc.relation.ispartofeditorBillington, Jonathan
dc.relation.ispartofeditorReisig, Wolfgang
dc.relation.ispartofpublnameSpringeren
dc.relation.ispartofpublcityBerlinen
dc.relation.ispartofdate1996
dc.relation.ispartofpages549en
dc.relation.ispartofurlhttp://dx.doi.org/10.1007/3-540-61363-3en
dc.description.sponsorshipprivateouien
dc.subject.ddclabelInformatique généraleen
dc.relation.ispartofisbn978-3-540-61363-3en
dc.relation.conftitle17th International Conference on application and theory of Petri nets, ICATPN 1996en
dc.relation.confdate1996-06
dc.relation.confcityOsakaen
dc.relation.confcountryJaponen
dc.identifier.doihttp://dx.doi.org/10.1007/3-540-61363-3_11


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