The Petri Net API A Collection of Petri Net-related Functions.
Niels Lohmann, Stephan Mennicke, Christian Sura · 2010
Abstract. This paper introduces the Petri Net API, a C++ library of Petri net-related functions. The Petri Net API is currently used in more than a dozen Petri net tools, ranging from compilers to verification tools. 1