A Petri Net Version of Rabin's Undecidability Proof for Vector Addition Systems.

For the most recent entries see the Petri Nets Newsletter.

Massachusetts Inst. of Techn. Cambridge: Computation Structures Group, 1973.

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