Show simple item record

dc.contributor.authorHaddad, Serge
HAL ID: 745039
dc.contributor.authorMoreaux, Patrice
HAL ID: 10630
dc.contributor.authorSereno, Matteo
dc.contributor.authorSilva, Manuel
dc.date.accessioned2011-03-22T15:18:12Z
dc.date.available2011-03-22T15:18:12Z
dc.date.issued2001
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/5799
dc.language.isoenen
dc.subjectStochastic Petri Netsen
dc.subject.ddc004en
dc.titleStructural characterization and qualitative properties of product form stochastic Petri netsen
dc.typeCommunication / Conférence
dc.description.abstractenThe model of Stochastic Petri nets (SPN) with a product form solution (Π-net) is a class ofnets for which there is an analytic expression ofthe steady state probabilities w.r.t. markings, as for product form queueing networks w.r.t. queue lengths. In this paper, we prove new important properties ofthis kind ofnets. First we provide a polynomial time (w.r.t. the size ofthe net structure) algorithm to check whether a SPN is a Π-net. Then, we give a purely structural characterization of SPN for which a product form solution exists regardless the particular values ofprobabilistic parameters ofthe SPN. We call such nets $ \overline \prod - nets $−nets . We also present untimed properties of Π-nets and $ \overline \prod - nets $−nets such like liveness, reachability, deadlock freeness and characterization of reachable markings. The complexity ofthe reachability and the liveness problems is also addressed for Π-nets and $ \overline \prod - nets $−nets . These results complement previous studies on these classes ofnets and improve the applicability ofPro duct Form solutions.en
dc.identifier.citationpages164-183en
dc.relation.ispartofseriestitleLecture Notes in Computer Science
dc.relation.ispartofseriesnumber2075
dc.relation.ispartoftitleApplications and Theory of Petri Nets 2001 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedingsen
dc.relation.ispartofeditorColom, Jose-Manuel
dc.relation.ispartofeditorKoutny, Maciej
dc.relation.ispartofpublnameSpringeren
dc.relation.ispartofpublcityBerlinen
dc.relation.ispartofdate2001
dc.relation.ispartofpages403en
dc.relation.ispartofurlhttp://dx.doi.org/10.1007/3-540-45740-2en
dc.description.sponsorshipprivateouien
dc.subject.ddclabelInformatique généraleen
dc.relation.ispartofisbn978-3-540-42252-5en
dc.relation.conftitle22nd International Conference on Application and Theory of Petri Nets (ICATPN 2001)en
dc.relation.confdate2001-06
dc.relation.confcityNewcastle upon Tyneen
dc.relation.confcountryRoyaume-Unien
dc.identifier.doihttp://dx.doi.org/10.1007/3-540-45740-2_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