Regular Stochastic Petri Nets
Haddad, Serge; Dutheillet, Claude (1991), Regular Stochastic Petri Nets, in Jensen, Kurt; Rozenberg, Grzegorz, High-level Petri Nets. Theory and Application, Springer : Berlin, p. 186-210
Book titleHigh-level Petri Nets. Theory and Application
Book authorJensen, Kurt; Rozenberg, Grzegorz
Number of pages724
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.