pnets_shrunk (cargo): A reducer for petri nets
Keywords: petri