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

Su Liu, Reng Zeng, Xudong He

Browse the full SEKE paper archive.