For the most recent entries see the Petri Nets Newsletter.

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

Hack, M.

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.

Back to the Petri Nets Bibliography