For the most recent entries see the
Petri Nets Newsletter.
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.:
PetriNetze.
1978.
Do you need a refined search? Try our search engine
which allows complex fieldbased queries.
Back to the Petri Nets Bibliography