PetriNet library