cpnets (cargo): A Colored Petri Net library
Keywords: colored|coloured|petri|nets