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

Su Liu, Xudong He (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics