Regular Stochastic Petri Nets

Haddad, Serge; Dutheillet, Claude

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. 10.1007/3-540-53863-1_26

Type

Chapitre d'ouvrage

Date

1991

Book title

High-level Petri Nets. Theory and Application

Book author

Jensen, Kurt; Rozenberg, Grzegorz

Publisher

Springer

Published in

Berlin

ISBN

3-540-54125 X

Number of pages

724

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.

Subjects / Keywords

Higher-level net models; stochastic nets