KReach: A Tool for Reachability in Petri Nets.

Alex Dixon, Ranko Lazic

Browse the full TACAS paper archive.