For the most recent entries see the
Petri Nets Newsletter.
Keyword: vector addition system
Ibarra, Oscar H.;
Catalytic P systems, semilinear sets, and vector addition systems.
The Mathematics of Petri Nets.
A Minimal Coverability Graph for Petri Nets.
Solvability of the Reachability Problem for Petri Nets (a Review of the Problem).
Filling a Gap in Kosaraju's Proof for the Decidability of the Reachability Problem in VAS.
List of Mistakes in the Paper ``Kosaraju: Decidability of Reachability in Vector Addition Systems, May 1982''.
Starke, Peter H.:
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography