Composition/décomposition de réseaux de Pétri et de leurs graphes de couverture

Alain Finkel; Laure Petrucci

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1994)

  • Volume: 28, Issue: 2, page 73-124
  • ISSN: 0988-3754

How to cite

top

Finkel, 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. 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. 2. G. BERTHELOT, L. PETRUCCI, Putting Algebraic Nets Into Practice, Rapport interne CEDRIC-IIE, janvier 1989. 
  3. 3. GW. BRAMS, Réseaux de Petri : théorie et pratique, Masson, 1983. Zbl0501.68027
  4. 4. W. BRAUER, W. REISIG, G. ROSENBERG, Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Zbl0619.00023
  5. Part 1, Proceedings of an Advanced Course at Bad Honnef, in LNCS No. 254, Springer Verlag, 1986. 
  6. 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. 
  7. 6. A. FINKEL, The Minimal Coverability Graph for Petri Nets. Advances in Petri Nets 1993, LNCS 674, pp. 210-243, Springer Verlag, 1993. MR1250615
  8. 7. M. HACK, Decidability Questions for Petri Nets, Ph. D. Thesis, Technical Report 161, MIT, Laboratory for Computer Science, juin 1976. 
  9. 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
  10. 9. W. REISIG, Petri Nets, Springer Verlag, 1985. Zbl0555.68033MR782303
  11. 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. 
  12. 11. A. VALMARI, Compositional State Space Generation, Proceedings of the 11th International Conference on Application and Theory of Petri Nets, Paris, juin 1990. 
  13. 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 ?

top

You must be logged in to post comments.