github.com/dalzilio/mcc (go): High-Level Nets Blaster for the Model-Checking Contest
Keywords: colored-petri-nets|model-checking|model-checking-contest|petri-net|pnml