Les symétries dans les réseaux de Petri stochastiques (RdPS). Construction du graphe symbolique

M. Ioualalen; A. Aissani

RAIRO - Operations Research - Recherche Opérationnelle (2000)

  • Volume: 34, Issue: 2, page 237-249
  • ISSN: 0399-0559

How to cite

top

Ioualalen, M., and Aissani, A.. "Les symétries dans les réseaux de Petri stochastiques (RdPS). Construction du graphe symbolique." RAIRO - Operations Research - Recherche Opérationnelle 34.2 (2000): 237-249. <http://eudml.org/doc/105218>.

@article{Ioualalen2000,
author = {Ioualalen, M., Aissani, A.},
journal = {RAIRO - Operations Research - Recherche Opérationnelle},
keywords = {symmetries; symbolic graph; stochastic Petri nets},
language = {fre},
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/105218},
volume = {34},
year = {2000},
}

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
PB - EDP-Sciences
VL - 34
IS - 2
SP - 237
EP - 249
LA - fre
KW - symmetries; symbolic graph; stochastic Petri nets
UR - http://eudml.org/doc/105218
ER -

References

top
  1. [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. 
  2. [BEL 91] C. AUTANT, Z. BELMESK et P. JORRAND, Strong Bisimilary on Nets Reviseted, Extended Abstract in PARLE 91, LNCS. 
  3. [BRA 83] G. W. BRAMS, Réseaux de Petri: théorie et pratique, Tomes 1 et 2. Masson Ed. (1983). Zbl0501.68027MR692364
  4. [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). 
  5. [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). 
  6. [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. Zbl0575.68058MR807203
  7. [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. Zbl0625.68042MR884321
  8. [KEM 60] J.G. KEMENY et J.L. SNELL, Finite Markov Chains, edited by V. Nostrand. Princeton, NJ (1960). Zbl0089.13704MR115196
  9. [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). 
  10. [ROZ 91] K. JENSEN et G. ROZENBERG, High-level Petri Nets. Theory and Application. Springer-Verlag (1991). Zbl0743.68023MR1154800

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.