Les symétries dans les réseaux de Petri stochastiques (RdPS). Construction du graphe symbolique
RAIRO - Operations Research - Recherche Opérationnelle, Tome 34 (2000) no. 2, pp. 237-249. 
@article{RO_2000__34_2_237_0,
     author = {Ioualalen, M. and Aissani, A.},
     title = {Les sym\'etries dans les r\'eseaux de {Petri} stochastiques {(RdPS).} {Construction} du graphe symbolique},
     journal = {RAIRO - Operations Research - Recherche Op\'erationnelle},
     pages = {237--249},
     publisher = {EDP-Sciences},
     volume = {34},
     number = {2},
     year = {2000},
     mrnumber = {1755985},
     zbl = {0952.68100},
     language = {fr},
     url = {http://www.numdam.org/item/RO_2000__34_2_237_0/}
}
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 - Recherche Opérationnelle
PY  - 2000
SP  - 237
EP  - 249
VL  - 34
IS  - 2
PB  - EDP-Sciences
UR  - http://www.numdam.org/item/RO_2000__34_2_237_0/
LA  - fr
ID  - RO_2000__34_2_237_0
ER  - 
%0 Journal Article
%A Ioualalen, M.
%A Aissani, A.
%T Les symétries dans les réseaux de Petri stochastiques (RdPS). Construction du graphe symbolique
%J RAIRO - Operations Research - Recherche Opérationnelle
%D 2000
%P 237-249
%V 34
%N 2
%I EDP-Sciences
%U http://www.numdam.org/item/RO_2000__34_2_237_0/
%G fr
%F RO_2000__34_2_237_0
Ioualalen, M.; Aissani, A. Les symétries dans les réseaux de Petri stochastiques (RdPS). Construction du graphe symbolique. RAIRO - Operations Research - Recherche Opérationnelle, Tome 34 (2000) no. 2, pp. 237-249. http://www.numdam.org/item/RO_2000__34_2_237_0/

[AJM 85]M. Ajmone, G. Balbo, A. Bobbio, G. Chiola, G. Conte et A. Cumani, On Petri nets with Stochastic timing, in Proc. of the International Workshop on Timed Pétri Nets. Torino, Italie (1985) 80-87.

[BEL 91]C. Autant, Z. Belmesk et P. Jorrand, Strong Bisimilary on Nets Reviseted, Extended Abstract in PARLE 91, LNCS.

[BRA 83]G. W. Brams, Réseaux de Petri: théorie et pratique, Tomes 1 et 2. Masson Ed. (1983). | MR | Zbl

[DUT 92] C. Dutheillet, Symétries dans les Réseaux Colorés, Définition, Analyse et Application à l'Evaluation des Performances. Thèse de Doctorat, Université Paris VI (1992).

[HAD 87] S. Haddad, Une Catégorie Régulière de Réseaux de Pétri de Haut Niveau: définition, Propriétés et Réductions. Thèse de Doctorat, Université Paris VI (1987).

[JEN 84] P. Huber, A.M. Jensen, L.O. Jepsen, K. Jensen, Towards Reachability Trees for High-Level Petri Nets. Adv. in Petri Nets 84 (1984). 215-233. | MR | Zbl

[JEN 86] P. Huber, A.M. Jensen, L.O. Jepsen et K. Jensen, Reachability Trees for High-Level Petri Nets. Theoret. Comput Sci. 45 (1986). 261-292. | MR | Zbl

[KEM 60] J.G. Kemeny et J.L. Snell, Finite Markov Chains, edited by V. Nostrand. Princeton, NJ (1960). | MR | Zbl

[MOL 81] M.K. Molloy, On the Integration of Delay and Throughput Measures in Distributed Processing Models. Ph. D. Dissertation, University of California, Los Angeles (1981).

[ROZ 91] K. Jensen et G. Rozenberg, High-level Petri Nets. Theory and Application. Springer-Verlag (1991). | MR | Zbl