Composition/décomposition de réseaux de Pétri et de leurs graphes de couverture
Finkel, Alain ; Petrucci, Laure
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 28 (1994), p. 73-124 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1994-01-01
@article{ITA_1994__28_2_73_0,
     author = {Finkel, Alain and Petrucci, Laure},
     title = {Composition/d\'ecomposition de r\'eseaux de P\'etri et de leurs graphes de couverture},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {28},
     year = {1994},
     pages = {73-124},
     mrnumber = {1282248},
     zbl = {0890.68088},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/ITA_1994__28_2_73_0}
}

Finkel, Alain; 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, Tome 28 (1994) pp. 73-124. http://gdmltest.u-ga.fr/item/ITA_1994__28_2_73_0/

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. | Zbl 0501.68027

4. W. Brauer, W. Reisig, G. Rosenberg, Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, | Zbl 0619.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. | MR 1250615

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. | MR 902661 | Zbl 0658.68068

9. W. Reisig, Petri Nets, Springer Verlag, 1985. | MR 782303 | Zbl 0555.68033

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.