cpnets 1.1.0

A Colored Petri Net library
Documentation