A Reachability Algorithm for General Petri Nets Based on Transition Invariants.

Alexander E. Kostin

Browse the full MFCS paper archive.