Free Access
Issue |
RAIRO-Oper. Res.
Volume 21, Number 3, 1987
|
|
---|---|---|
Page(s) | 219 - 240 | |
DOI | https://doi.org/10.1051/ro/1987210302191 | |
Published online | 06 February 2017 |
- 1. C. BERGE, Graphes et hypergraphes, Dunod, Paris, 1970. [MR: 357173] [Zbl: 0213.25702] [Google Scholar]
- 2. G. BERTHELOT, Transformations et analyse de réseaux de Petri, applications aux protocoles, Thèse d'état, Paris-VI, juin 1983. [Google Scholar]
- 3. G. W. BRAMS, Réseaux de Petri : théorie et pratique, Masson, t. I, décembre 1982. [Zbl: 0501.68027] [Google Scholar]
- 4. F. COMMONER, A. HOLT, S. EVEN et A. PNUELI, Marked Directed Graphs, Journal of computer System and sciences, vol. 5, n° 5, october 1971, p. 511-523. [MR: 281542] [Zbl: 0238.05109] [Google Scholar]
- 5. F. COMMONER, Deadlock in Petri Nets, Applied data research inst., Wakefield, Mass, CA 7206-2311, 1972. [Google Scholar]
- 6. M. HACK, Extended State-Machine Allocatable Nets an Extension of Free-Choice Petri Net Results, M.I.T., Cambridge, Mass. Project MAC, CSE-MEMO 78-1, 1973. [Google Scholar]
- 7. M. JANTZEN et R. VALK, Formal Properties of Place/Transition Nets, Advanced Course on General Net Theory of Processes and Systems, Hambourg, octobre 1979. [MR: 582807] [Google Scholar]
- 8. K. LAUTENBACH et H. SCHMID, Use of Petri Nets for Proving Correctness of Concurrent Process System, Information processing, North Holland, 1974, p. 187-191. [MR: 441564] [Zbl: 0299.68006] [Google Scholar]
- 9. M. LATTEUX, Synchronisation de processus, R.A.I.R.O. Informatique, vol. 14, n° 2, 1980, p. 103-135. [Zbl: 0433.68021] [Google Scholar]
- 10. J. MARTINEZ et M. SILVA, A Simple and Fast Algorithm to Obtain all Invariants of a Generalized Petri Net, 2nd Eur. Work on Application and Theory of Petri Nets, Bad Honnef, 1981. [Google Scholar]
- 11. G. MEMMI, Méthode d'analyse de réseaux de Petri, réseaux à files et application aux systèmes temps réel, Thèse d'État, Paris-VI, juin 1983. [Google Scholar]
- 12. G. MEMMI et G. ROUCAIROL, Linear Algebra in Net Theory, Proc. of Advanced Course on General Net Theory of Processes and Systems, W. BRAUER éd. Hambourg, 1979 et Springer Verlag, L.N.C.S. 84, 1980. [MR: 582808] [Google Scholar]
- 13. J. L. PETERSON, Petri Net Theory and the Modeling of Systems, Prentice Hall, 1981. [MR: 610984] [Zbl: 0461.68059] [Google Scholar]
- 14. C. A. PETRI, Introduction to General Net Theory of Processes and Systems, Hambourg, 1974, also in Lectures notes in Computer Science, n° 84, Springer Verlag, Berlin 1980. [MR: 582805] [Google Scholar]
- 15. C. RAMCHANDANI, Analysis of Asynchronous Concurrent Systems by Timed Petri Nets, Ph. D. thesis, M.I.T., Cambridge, Mass., Project MAC TP 120, février 1974. [Google Scholar]
- 16. J. SIFAKIS, Le contrôle des systèmes asynchrones : concepts propriétés, analyse statique, Thèse d'État, Université Scientifique et Médicale de Grenoble, juin 1979. [Google Scholar]
- 17. J. M. TOUDIC, Algorithmes d'analyse structurelle des réseaux de Petri, Thèse de 3e cycle, Paris-VI, octobre 1981. [Google Scholar]
- 18. Numéro spécial Réseaux de Petri, Technique et science informatiques, T.S.I.-R.A.I.R.O., vol. 4, n° 1, 176 p., Dunod, Paris; janvier-février 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.