Do you want to subscribe to the
Petri Nets Newsletter
Petri Net Newsletter No. 12
Software Packages for Petri Net Analysis.
A Rope which is not a CCN.
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''.
Do you need a refined search? Try our
which allows complex field-based queries.
Back to the Petri Nets Bibliography