PIPE+Verifier - A Tool for Analyzing High Level Petri Nets.

Su Liu, Xudong He

Browse the full SEKE paper archive.