The Reachability Problem Requires Exponential Space.

For the most recent entries see the Petri Nets Newsletter.

New Haven, Connecticut: Yale University, Department of Computer Science, Research Report 62, January 1976.

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