The Petri Net API A Collection of Petri Net-related Functions. - Niels Lohmann; Stephan Mennicke; Christian Sura (AWPN, 2010)