Free Access
Issue |
RAIRO. Inform. théor.
Volume 12, Number 2, 1978
|
|
---|---|---|
Page(s) | 125 - 144 | |
DOI | https://doi.org/10.1051/ita/1978120201251 | |
Published online | 01 February 2017 |
- 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. [Google Scholar]
- 2. F. COMMONER, Deadlocks in Petri Nets, CA-7206-2311, Applied Data Research, Wakefield, Mass., juin 1972. [Google Scholar]
- 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. [MR: 281542] [Zbl: 0238.05109] [Google Scholar]
- 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. [Google Scholar]
- 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. [Google Scholar]
- 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. [Google Scholar]
- 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. [MR: 436651] [Zbl: 0312.68012] [Google Scholar]
- 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. [Google Scholar]
- 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. [Google Scholar]
- 10. S. S. PATIL, Coordination of asynchronous events, MAC-TR 72, Project MAC, M.I.T., Cambridge, Mass., 1970. [Google Scholar]
- 11. J. L. PETERSON, Petri Nets, Computing Surveys, vol. 9, n° 3, septembre 1977. [MR: 448971] [Zbl: 0357.68067] [Google Scholar]
- 12. C. A. PETRI, Concepts of Net Theory, Proc. Symp. on M.F.C.S., High Tatras., septembre 1973, p. 137-146. [MR: 459967] [Google Scholar]
- 13. G. ROUCAIROL, Transformation de programmes séquentiels en programmes parallèles, Thèse 3e cycle, Université Pierre-et-Marie-Curie, Paris, mai 1976. [Zbl: 0302.68024] [Google Scholar]
- 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. [MR: 488989] [Google Scholar]
- 15. R. TENNEY et G. SACERDOTE, Automatismes logiques. Recherche et applications industrielles, Coll. A.F.C.E.T., Paris, 1976. [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.