pnapi

The Petri Net Library
A small overview over pnapi's purpose

The Petri Net API (PNAPI) is a C++ library encapsulating Petri net-related functions.