PNAPI: 4.03 - A C++ Petri Net API

The Petri Net API is a C++ library of Petri net-related functions. It is
currently used in more than a dozen Petri net tools, ranging from compilers
to verification tools.