For the most recent entries see the
Petri Nets Newsletter.
The Decidability of the Reachability Problem for Vector Addition Systems.
Sacerdote, G.S.;
Tenney, R.L.
In:
Proc. of the 9th Annual Symp. on Theory of Computing, Boulder, Colorado, May 2--4, 1977, pages 61-76.
New York: IEEE,
1977.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography