×

Fuites dans les réseaux de Petri. (French) Zbl 0394.68043


MSC:

68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Citations:

Zbl 0312.68012
PDFBibTeX XMLCite
Full Text: EuDML

References:

[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.05109 MR281542 · Zbl 0238.05109 · doi:10.1016/S0022-0000(71)80013-2
[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^\circ 4, 1975, p. 297-332. Zbl0312.68012 MR436651 · Zbl 0312.68012 · doi:10.1007/BF00264564
[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^\circ 3, septembre 1977. Zbl0357.68067 MR448971 · Zbl 0357.68067
[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.
[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.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.