Regular Stochastic Petri Nets
Dutheillet, Claude; Haddad, Serge (1991), Regular Stochastic Petri Nets, in Rozenberg, Grzegorz, Advances in Petri Nets 1990, Springer : Berlin, p. 210-242. http://dx.doi.org/10.1007/3-540-53863-1_26
TypeCommunication / Conférence
Conference titleTenth International Conference on Applications and Theory of Petri Nets
Book titleAdvances in Petri Nets 1990
Book authorRozenberg, Grzegorz
Series titleLecture Notes in Computer Science
Number of pages515
MetadataShow full item record
Abstract (EN)An 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.
Subjects / KeywordsHigher-level net models; stochastic nets
Showing items related by title and author.