Keyword: vector addition system

• Ibarra, Oscar H.; Dangb, Zhe; Egecioglu, Omer:
  Catalytic P systems, semilinear sets, and vector addition systems. 2004.

• Reutenauer, Christophe:
  The Mathematics of Petri Nets. 1990.

• Finkel, A.:
  A Minimal Coverability Graph for Petri Nets. 1989.

• Budinas, B.L.:
  Solvability of the Reachability Problem for Petri Nets (a Review of the Problem). 1988.

• Müller, Horst:
  Filling a Gap in Kosaraju's Proof for the Decidability of the Reachability Problem in VAS. 1982.

• Müller, Horst:
  List of Mistakes in the Paper ``Kosaraju: Decidability of Reachability in Vector Addition Systems, May 1982''. 1982.

• Starke, Peter H.:
  Petri-Netze. 1978.

Back to the Petri Nets Bibliography