Model Checking Control Flow Petri Nets Using PAT.

Ho T. Dung, Thang H. Bui, Tho T. Quan

Browse the full ICCSA paper archive.