For the most recent entries see the Petri Nets Newsletter.

A Partial Solution to the Reachability-Problem for Vector Addition Systems.

van Leeuwen, J.

In: Proc. 6th Annual ACM Symp. on Theory of Computing, pages 303-309. New York: ACM, 1974.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography