SAT-Based Verification of Safe Petri Nets.

Shougo Ogata, Tatsuhiro Tsuchiya, Tohru Kikuno

Browse the full ATVA paper archive.