Composition/décomposition de réseaux de Pétri et de leurs graphes de couverture
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1994)
- Volume: 28, Issue: 2, page 73-124
- ISSN: 0988-3754
Access Full Article
topHow to cite
topFinkel, Alain, and Petrucci, Laure. "Composition/décomposition de réseaux de Pétri et de leurs graphes de couverture." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 28.2 (1994): 73-124. <http://eudml.org/doc/92471>.
@article{Finkel1994,
author = {Finkel, Alain, Petrucci, Laure},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
keywords = {Petri nets; minimal covering graphs},
language = {fre},
number = {2},
pages = {73-124},
publisher = {EDP-Sciences},
title = {Composition/décomposition de réseaux de Pétri et de leurs graphes de couverture},
url = {http://eudml.org/doc/92471},
volume = {28},
year = {1994},
}
TY - JOUR
AU - Finkel, Alain
AU - Petrucci, Laure
TI - Composition/décomposition de réseaux de Pétri et de leurs graphes de couverture
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1994
PB - EDP-Sciences
VL - 28
IS - 2
SP - 73
EP - 124
LA - fre
KW - Petri nets; minimal covering graphs
UR - http://eudml.org/doc/92471
ER -
References
top- 1. A. BOURGUET, Étude de la concordance de comportement de deux réseaux de Petri. Application à la validation des protocoles : détection automatique des erreurs de conception. Thèse de l'Université Pierre-et-Marie-Curie, septembre 1990.
- 2. G. BERTHELOT, L. PETRUCCI, Putting Algebraic Nets Into Practice, Rapport interne CEDRIC-IIE, janvier 1989.
- 3. GW. BRAMS, Réseaux de Petri : théorie et pratique, Masson, 1983. Zbl0501.68027
- 4. W. BRAUER, W. REISIG, G. ROSENBERG, Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Zbl0619.00023
- Part 1, Proceedings of an Advanced Course at Bad Honnef, in LNCS No. 254, Springer Verlag, 1986.
- 5. C. DIMITROVICI, U. HUMMERT, L. PETRUCCI, The Properties of Algebraic Nets Schemes in Some Semantics, Proceedings of the llth International Conference on Application and Theory of Petri Nets, Paris, juin 1990.
- 6. A. FINKEL, The Minimal Coverability Graph for Petri Nets. Advances in Petri Nets 1993, LNCS 674, pp. 210-243, Springer Verlag, 1993. MR1250615
- 7. M. HACK, Decidability Questions for Petri Nets, Ph. D. Thesis, Technical Report 161, MIT, Laboratory for Computer Science, juin 1976.
- 8. G. MEMMI, J. VAUTHERIN, Analysing Nets by the Invariant Méthode, Advances in Petri Nets 1986, LNCS 255, pp. 300-337, Springer Verlag, 1987. Zbl0658.68068MR902661
- 9. W. REISIG, Petri Nets, Springer Verlag, 1985. Zbl0555.68033MR782303
- 10. Y. SOUISSI, Une étude de la préservation de propriétés par composition de réseaux de Petri, Thèse de l'Université Pierre-et-Marie-Curie, février 1990.
- 11. A. VALMARI, Compositional State Space Generation, Proceedings of the 11th International Conference on Application and Theory of Petri Nets, Paris, juin 1990.
- 12. J. VAUTHERIN, Un modèle algébrique, basé sur les réseaux de Petri, pour l'étude des systèmes parallèles, Thèse de doctorat d'ingénieur, Université de Paris-Sud, Centre d'Orsay, juin 1985.
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.