Ioualalen, M., and Aissani, A.. "Les Symétries dans les Réseaux de Petri Stochastiques (RdPS) Construction du Graphe Symbolique." RAIRO - Operations Research 34.2 (2010): 237-249. <http://eudml.org/doc/197817>.
@article{Ioualalen2010,
abstract = {
The main purpose of this paper is to give a method for
construction of the reduced reachability graph for Stochastic Petri Nets
(SPN), the symbolic graph. This construction is achieved by exploiting
the structural symetries in the net using the theory of bisimulation of
places for detecting isomorphic parts in the net. The symbolic graph,
being isomorphic to an agregated Markov chain, may be used to prove
qualitative properties as liveness, boundness, ... Moreover, this
reduced graph make more easy the computation of the performance measures
of interest as the mean number of tokens in a place, the mean number of
firing transition ... We have so developped a tool, SSPN (Stochastic
Symetric Petri nets), for generating the symbolic graph and deducing
qualitatives and quantitatives properties.
},
author = {Ioualalen, M., Aissani, A.},
journal = {RAIRO - Operations Research},
keywords = {Symetries; stochastic Petri Net; Symbolic Graph.; Symétries; réseau de Petri stochastique; graphe des
marquages accessibles; graphe des marquages symboliques.; symmetries; symbolic graph; stochastic Petri nets},
language = {fre},
month = {3},
number = {2},
pages = {237-249},
publisher = {EDP Sciences},
title = {Les Symétries dans les Réseaux de Petri Stochastiques (RdPS) Construction du Graphe Symbolique},
url = {http://eudml.org/doc/197817},
volume = {34},
year = {2010},
}
TY - JOUR
AU - Ioualalen, M.
AU - Aissani, A.
TI - Les Symétries dans les Réseaux de Petri Stochastiques (RdPS) Construction du Graphe Symbolique
JO - RAIRO - Operations Research
DA - 2010/3//
PB - EDP Sciences
VL - 34
IS - 2
SP - 237
EP - 249
AB -
The main purpose of this paper is to give a method for
construction of the reduced reachability graph for Stochastic Petri Nets
(SPN), the symbolic graph. This construction is achieved by exploiting
the structural symetries in the net using the theory of bisimulation of
places for detecting isomorphic parts in the net. The symbolic graph,
being isomorphic to an agregated Markov chain, may be used to prove
qualitative properties as liveness, boundness, ... Moreover, this
reduced graph make more easy the computation of the performance measures
of interest as the mean number of tokens in a place, the mean number of
firing transition ... We have so developped a tool, SSPN (Stochastic
Symetric Petri nets), for generating the symbolic graph and deducing
qualitatives and quantitatives properties.
LA - fre
KW - Symetries; stochastic Petri Net; Symbolic Graph.; Symétries; réseau de Petri stochastique; graphe des
marquages accessibles; graphe des marquages symboliques.; symmetries; symbolic graph; stochastic Petri nets
UR - http://eudml.org/doc/197817
ER -
