Do you want to subscribe to the
Petri Nets Newsletter
?
Petri Net Newsletter No. 12
Feldbrugge, Frits
:
Software Packages for Petri Net Analysis.
1982.
Fernández, César
:
A Rope which is not a CCN.
1982.
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.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography