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.
Massachusetts Inst. of Tech., Cambridge, Computation Structures Group, Nat. Science Foundation, Washington,
15th Annual Symposium on Switching and Automata Theory, pages 156-164.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography