For the most recent entries see the Petri Nets Newsletter.

An Algorithm for the General Petri Net Reachability Problem.

Mayr, E.W.

In: Proc. of the 13th Annual ACM Symp. on Theory of Computing, pages 238-246. 1981.

Also in: SIAM J. Comput. Vol. 13, No. 3, pages 441-460. August 1984.


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

Back to the Petri Nets Bibliography