The Recursive Equivalence of the Reachability Problem and the Liveness Problem for Petri Nets and Vector Addition Systems.

For the most recent entries see the Petri Nets Newsletter.

Massachusetts Inst. of Tech., Cambridge, Computation Structures Group, Nat. Science Foundation, Washington, 1974.

Also in: 15th Annual Symposium on Switching and Automata Theory, pages 156-164. 1974.

Do you need a refined search? Try our search engine which allows complex field-based queries.