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, Volume 28 (1994) no. 2, pp. 73-124.
@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},
     pages = {73--124},
     publisher = {EDP-Sciences},
     volume = {28},
     number = {2},
     year = {1994},
     zbl = {0890.68088},
     mrnumber = {1282248},
     language = {fr},
     url = {http://www.numdam.org/item/ITA_1994__28_2_73_0/}
}
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
DA  - 1994///
SP  - 73
EP  - 124
VL  - 28
IS  - 2
PB  - EDP-Sciences
UR  - http://www.numdam.org/item/ITA_1994__28_2_73_0/
UR  - https://zbmath.org/?q=an%3A0890.68088
UR  - https://www.ams.org/mathscinet-getitem?mr=1282248
LA  - fr
ID  - ITA_1994__28_2_73_0
ER  - 
%0 Journal Article
%A Finkel, Alain
%A Petrucci, Laure
%T Composition/décomposition de réseaux de Pétri et de leurs graphes de couverture
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1994
%P 73-124
%V 28
%N 2
%I EDP-Sciences
%G fr
%F 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, Volume 28 (1994) no. 2, pp. 73-124. http://www.numdam.org/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

4. W. Brauer, W. Reisig, G. Rosenberg, Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, | Zbl

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

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

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

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.