An algorithm for the general petri net reachability problem (1981)

by Ernst W Mayr
Venue:In STOC 1981