Fuites dans les réseaux de Petri
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1978)
- Volume: 12, Issue: 2, page 125-144
- ISSN: 0988-3754
Access Full Article
top
How to cite
topMemmi, G.. "Fuites dans les réseaux de Petri." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 12.2 (1978): 125-144. <http://eudml.org/doc/92066>.
@article{Memmi1978,
author = {Memmi, G.},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
keywords = {Liveness; Safeness; Unimposed Choice Graphs; Petri Nets; Production Schemata},
language = {fre},
number = {2},
pages = {125-144},
publisher = {EDP-Sciences},
title = {Fuites dans les réseaux de Petri},
url = {http://eudml.org/doc/92066},
volume = {12},
year = {1978},
}
TY - JOUR
AU - Memmi, G.
TI - Fuites dans les réseaux de Petri
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1978
PB - EDP-Sciences
VL - 12
IS - 2
SP - 125
EP - 144
LA - fre
KW - Liveness; Safeness; Unimposed Choice Graphs; Petri Nets; Production Schemata
UR - http://eudml.org/doc/92066
ER -
References
top- 1. G. BERTHELOT et G. MEMMI, Détermination de quelques propriétés des réseaux de Petri, Rapport de D.E.A., Université Pierre-et-Marie-Curie, Paris, juin 1975.
- 2. F. COMMONER, Deadlocks in Petri Nets, CA-7206-2311, Applied Data Research, Wakefield, Mass., juin 1972.
- 3. F. COMMONER, A. W. HOLT, S. EVEN et A. PNUELI, Marked Directed Graphs, J. Comp. Sys. Sci., vol. 5, octobre 1971, p. 511-523. Zbl0238.05109MR281542
- 4. M. HACK, Analysis of Production Schemata by Petri Nets. M.S. Thesis Dept. Electrical Engineering, MAC-TR 94, Project MAC, M.I.T., Cambridge, Mass., septembre 1972.
- 5. M. HACK, Extended State Machine Allocatable Nets, an Extension of Free Choice Petri Nets results, Computation Structures Group, Memo 78, Project MAC, M.I.T., Cambridge, Mass., mai 1973.
- 6. M. HACK, Corrections to Analysis of Production Schemata by Petri Nets, Computation Structures Note 17, Project MAC, M.I.T., Cambridge, Mass., juin 1974.
- 7. P. E. LAUER et R. H. CAMPBELL, Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes, Acta Informatica, vol. 5, n° 4, 1975, p. 297-332. Zbl0312.68012MR436651
- 8. G. MEMMI, Semiflow and Invariants. Application in Petri Nets Theory, Journées d'étude sur les réseaux de Petri, A.F.C.E.T. et Institut de Programmation, Paris, mars 1977, p. 207-212.
- 9. J. D. NOE, A Petri Net Model of C.D.C 6400, Proc. A.C.M./S.I.G.O.P.S., Workshop on Systems Performance Evaluation, A.C.M., New York, 1971. p. 362-378.
- 10. S. S. PATIL, Coordination of asynchronous events, MAC-TR 72, Project MAC, M.I.T., Cambridge, Mass., 1970.
- 11. J. L. PETERSON, Petri Nets, Computing Surveys, vol. 9, n° 3, septembre 1977. Zbl0357.68067MR448971
- 12. C. A. PETRI, Concepts of Net Theory, Proc. Symp. on M.F.C.S., High Tatras., septembre 1973, p. 137-146. MR459967
- 13. G. ROUCAIROL, Transformation de programmes séquentiels en programmes parallèles, Thèse 3e cycle, Université Pierre-et-Marie-Curie, Paris, mai 1976. Zbl0302.68024
- 14. R. TENNEY et G. SACERDOTE, The Decidability of the Reachability Problem forVector Addition Systems, Proc. Ninth Ann. A.C.M. Symp. on Theory of Computing, 1977, p. 61-76. MR488989
- 15. R. TENNEY et G. SACERDOTE, Automatismes logiques. Recherche et applications industrielles, Coll. A.F.C.E.T., Paris, 1976.
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.