For the most recent entries see the Petri Nets Newsletter.

The Reachability Problem for Petri Nets and Decision Problems for Skolem Arithmetic.

Börger, E.; Kleine Büning, H.

In: Oberschelp, W.; Richter, M.M.: Grundlagen der Mathematik und Informatik. RWTH Aachen, Bericht Nr. 2, July 1978.

Also in: Jensen, F.V.; Mayoh, B.H.; Moller, K.K.: Proc. from 5th Scandinavian Logic Symposium, Aalborg, pages 59-96. Aalborg Universitetsforlag, 1979.

Also in: Theoretical Computer Science, Vol. 11, pages 123-143. 1980.

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

Back to the Petri Nets Bibliography