The recursive equivalence of the reachability problem and the liveness problem for Petri nets and vector addition systems
- 1 October 1974
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 02724847,p. 156-164
- https://doi.org/10.1109/swat.1974.28
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- A partial solution to the reachability-problem for vector-addition systemsPublished by Association for Computing Machinery (ACM) ,1974
- Reachability Problems in Vector Addition SystemsThe American Mathematical Monthly, 1973
- Parallel program schemata: A mathematical model for parallel computationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1967