Date
1991
Dewey
Informatique générale
Sujet
Higher-level net models; stochastic nets
Book title
High-level Petri Nets. Theory and Application
Author
Jensen, Kurt; Rozenberg, Grzegorz
Publisher
Springer
Publisher city
Berlin
Year
1991
Pages number
724
ISBN
3-540-54125 X
Author
Haddad, Serge
Dutheillet, Claude
Type
Chapitre d'ouvrage
Item number of pages
186-210
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.