Petri Net Reachability Problem (Invited Talk).

Jrme Leroux

Browse the full MFCS paper archive.