C petrinet