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

Published in Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, Cottbus, Germany, October 07-08, 2010, 2010