Thumbnail - Request a copy

Regular Stochastic Petri Nets

Dutheillet, Claude; Haddad, Serge (1991), Regular Stochastic Petri Nets, dans 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
Titre du colloque
Tenth International Conference on Applications and Theory of Petri Nets
Date du colloque
1989-06
Ville du colloque
Bonn
Pays du colloque
Allemagne
Titre de l'ouvrage
Advances in Petri Nets 1990
Auteurs de l’ouvrage
Rozenberg, Grzegorz
Éditeur
Springer
Titre de la collection
Lecture Notes in Computer Science
Numéro dans la collection
483
Ville d’édition
Berlin
Isbn
978-3-540-53863-9
Nombre de pages
515
Pages
210-242
Identifiant publication
Métadonnées
Afficher la notice complète
Auteur(s)
Dutheillet, Claude
Haddad, Serge
Résumé (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.
Mots-clés
Higher-level net models; stochastic nets