This is the API documentation for petrinet-0.1.1 Documentation.