pnets (cargo): A framework for Petri net manipulation
Keywords: petri