"An Algorithm for the General Petri Net Reachability Problem"

Ernst W. Mayr (1981)
a service of Schloss Dagstuhl - Leibniz Center for Informatics