Bounded Model Checking High Level Petri Nets in PIPE+Verifier.

Su Liu, Reng Zeng, Zhuo Sun, Xudong He

Browse the full ICFEM paper archive.