The Recursive Equivalence of the Reachability Problem and the Liveness Problem for Petri Nets and Vector Addition Systems
The Recursive Equivalence of the Reachability Problem and the Liveness Problem for Petri Nets and Vector Addition Systems
复制标题
DOI：
10.1109/swat.1974.28
复制
发表时间：
1974-10
期刊：
影响因子：
--
通讯作者：
M. Hack
中科院分区：
文献类型：
--
作者：
M. Hack
