A decidability theorem for a class of vector-addition systems
- 31 January 1975
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 3 (3) , 78-80
- https://doi.org/10.1016/0020-0190(75)90020-4
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- The recursive equivalence of the reachability problem and the liveness problem for Petri nets and vector addition systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1974
- Marked directed graphsJournal of Computer and System Sciences, 1971
- Parallel program schemataJournal of Computer and System Sciences, 1969