For the most recent entries see the
Petri Nets Newsletter.
Decidability of Reachability in Vector Addition Systems.
Kosaraju, S.R.
In:
Proc. of the 14th Annual ACM Symp. on Theory of Computing, San Francisco, May 5--7, 1982, pages 267-281.
1982.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography