For the most recent entries see the Petri Nets Newsletter.

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

Hack, M.

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.

Back to the Petri Nets Bibliography