Thumbnail - Request a copy

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

Type
Communication / Conférence
Date
1991
Conference title
Tenth International Conference on Applications and Theory of Petri Nets
Conference date
1989-06
Conference city
Bonn
Conference country
Allemagne
Book title
Advances in Petri Nets 1990
Book author
Rozenberg, Grzegorz
Publisher
Springer
Series title
Lecture Notes in Computer Science
Series number
483
Published in
Berlin
ISBN
978-3-540-53863-9
Number of pages
515
Pages
210-242
Publication identifier
Metadata
Show full item record
Author(s)
Dutheillet, Claude
Haddad, Serge
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 / Keywords
Higher-level net models; stochastic nets