Fuites dans les réseaux de Petri
Open Access
- 1 January 1978
- journal article
- Published by EDP Sciences in RAIRO. Informatique théorique
- Vol. 12 (2) , 125-144
- https://doi.org/10.1051/ita/1978120201251
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Petri NetsACM Computing Surveys, 1977
- The decidability of the reachability problem for vector addition systems (Preliminary Version)Published by Association for Computing Machinery (ACM) ,1977
- Formal semantics of a class of high-level primitives for coordinating concurrent processesActa Informatica, 1975
- Marked directed graphsJournal of Computer and System Sciences, 1971
- A Petri Net model of the CDC 6400Published by Association for Computing Machinery (ACM) ,1971