Model Checking Control Flow Petri Nets Using PAT. - Ho T. Dung; Thang H. Bui; Tho T. Quan (ICCSA (6), 2013)