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

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