SAT-Based Verification of Safe Petri Nets. - Shougo Ogata; Tatsuhiro Tsuchiya; Tohru Kikuno (ATVA, 2004)