Show simple item record

dc.contributor.authorDutheillet, Claude
dc.contributor.authorHaddad, Serge
HAL ID: 745039
dc.date.accessioned2010-11-18T08:37:25Z
dc.date.available2010-11-18T08:37:25Z
dc.date.issued1991
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/5097
dc.language.isoenen
dc.subjectHigher-level net modelsen
dc.subjectstochastic netsen
dc.subject.ddc004en
dc.titleRegular Stochastic Petri Netsen
dc.typeCommunication / Conférence
dc.description.abstractenAn extension of regular nets, a class of colored nets, to a stochastic model is proposed. We show that the symmetries in this class of nets make it possible to develop a performance evaluation by constructing only a graph of symbolic markings, which vertices are classes of states, instead of the whole reachability graph. Using algebraic techniques, we prove that all the states in a class have the same probability, and that the coefficients of the linear system describing the lumped Markov process can be calculated directly from the graph of symbolic markings.en
dc.identifier.citationpages210-242en
dc.relation.ispartofseriestitleLecture Notes in Computer Science
dc.relation.ispartofseriesnumber483
dc.relation.ispartoftitleAdvances in Petri Nets 1990en
dc.relation.ispartofeditorRozenberg, Grzegorz
dc.relation.ispartofpublnameSpringeren
dc.relation.ispartofpublcityBerlinen
dc.relation.ispartofdate1991
dc.relation.ispartofpages515en
dc.relation.ispartofurlhttp://dx.doi.org/10.1007/3-540-53863-1en
dc.description.sponsorshipprivateouien
dc.subject.ddclabelInformatique généraleen
dc.relation.ispartofisbn978-3-540-53863-9en
dc.relation.conftitleTenth International Conference on Applications and Theory of Petri Nets
dc.relation.confdate1989-06
dc.relation.confcityBonn
dc.relation.confcountryAllemagne
dc.identifier.doihttp://dx.doi.org/10.1007/3-540-53863-1_26


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