Show simple item record

dc.contributor.authorHaddad, Serge
dc.contributor.authorMoreaux, Patrice
dc.date.accessioned2010-11-29T12:57:30Z
dc.date.available2010-11-29T12:57:30Z
dc.date.issued1995
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/5189
dc.language.isoenen
dc.subjectPetri netsen
dc.subjectstochastic systemsen
dc.subjectMarkov processesen
dc.subjectstate-space methodsen
dc.subjectsynchronisationen
dc.subjectcontinuous time systemsen
dc.subjectparallel algorithmsen
dc.subjecthigh level Petri net evaluationen
dc.subjectaggregationen
dc.subjectdecompositionen
dc.subjectstochastic well formed Petri net modelen
dc.subjectmodeled systemsen
dc.subjectparallel systemsen
dc.subjectalgorithmsen
dc.subjectreal life systemsen
dc.subject.ddc004en
dc.titleEvaluation of high-level Petri nets by means of aggregation and decompositionen
dc.typeCommunication / Conférence
dc.description.abstractenWe introduce a new method combining the powerful stochastic well formed Petri net (SWN) model with the decomposition approach initiated by B. Plateau (1985). 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 two models with corresponding algorithms. The first model, which forbids color synchronization between components of the system yields to a strict generalization of each of the two methods. The second model which covers a large range of real life systems needs theoretical study which we have undertaken. An example shows the intuitive ideas behind these developments.en
dc.identifier.citationpages11-20en
dc.relation.ispartoftitleProceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995en
dc.relation.ispartofpublnameIEEE Computer Societyen
dc.relation.ispartofdate1995
dc.description.sponsorshipprivateouien
dc.subject.ddclabelInformatique généraleen
dc.relation.ispartofisbn0-8186-7210-2en
dc.relation.conftitleSixth International Workshop on Petri nets and Performance Models, PNPM 1995en
dc.relation.confdate2005-10
dc.relation.confcityDurham, NCen
dc.relation.confcountryÉtats-Unisen
dc.identifier.doihttp://dx.doi.org/10.1109/PNPM.1995.524311


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