Fuites dans les réseaux de Petri

G. Memmi

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

  • Volume: 12, Issue: 2, page 125-144
  • ISSN: 0988-3754

How to cite

top

Memmi, 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. 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. 2. F. COMMONER, Deadlocks in Petri Nets, CA-7206-2311, Applied Data Research, Wakefield, Mass., juin 1972. 
  3. 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. 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. 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. 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. 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. 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. 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. 10. S. S. PATIL, Coordination of asynchronous events, MAC-TR 72, Project MAC, M.I.T., Cambridge, Mass., 1970. 
  11. 11. J. L. PETERSON, Petri Nets, Computing Surveys, vol. 9, n° 3, septembre 1977. Zbl0357.68067MR448971
  12. 12. C. A. PETRI, Concepts of Net Theory, Proc. Symp. on M.F.C.S., High Tatras., septembre 1973, p. 137-146. MR459967
  13. 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. 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. 15. R. TENNEY et G. SACERDOTE, Automatismes logiques. Recherche et applications industrielles, Coll. A.F.C.E.T., Paris, 1976. 

NotesEmbed ?

top

You 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.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.