"The Petri Net API A Collection of Petri Net-related Functions."

Niels Lohmann, Stephan Mennicke, Christian Sura (2010)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics