EDP Sciences logo
Subscriber Authentication Point
Search
Menu
All issues Volume 28 / No 2 (1994) RAIRO-Theor. Inf. Appl., 28 2 (1994) 73-124 References
Free Access
Issue
RAIRO-Theor. Inf. Appl.
Volume 28, Number 2, 1994
Page(s) 73 - 124
DOI https://doi.org/10.1051/ita/1994280200731
Published online 01 February 2017
  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. [Google Scholar]
  2. 2. G. BERTHELOT, L. PETRUCCI, Putting Algebraic Nets Into Practice, Rapport interne CEDRIC-IIE, janvier 1989. [Google Scholar]
  3. 3. GW. BRAMS, Réseaux de Petri : théorie et pratique, Masson, 1983. [Zbl: 0501.68027] [Google Scholar]
  4. 4. W. BRAUER, W. REISIG, G. ROSENBERG, Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, [Zbl: 0619.00023] [Google Scholar]
  5. Part 1, Proceedings of an Advanced Course at Bad Honnef, in LNCS No. 254, Springer Verlag, 1986. [Google Scholar]
  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. [Google Scholar]
  7. 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] [Google Scholar]
  8. 7. M. HACK, Decidability Questions for Petri Nets, Ph. D. Thesis, Technical Report 161, MIT, Laboratory for Computer Science, juin 1976. [Google Scholar]
  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. [MR: 902661] [Zbl: 0658.68068] [Google Scholar]
  10. 9. W. REISIG, Petri Nets, Springer Verlag, 1985. [MR: 782303] [Zbl: 0555.68033] [Google Scholar]
  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. [Google Scholar]
  12. 11. A. VALMARI, Compositional State Space Generation, Proceedings of the 11th International Conference on Application and Theory of Petri Nets, Paris, juin 1990. [Google Scholar]
  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. [Google Scholar]

Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.

Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.

Initial download of the metrics may take a while.