Extensions to coloured Petri nets

Jensen´s colored Petri nets (CP-nets) are extended by including capacity and inhibitor functions. A class of extended CP-nets, known as P-nets, is defined that includes the capacity function and the threshold inhibitor extension. The inhibitor extension is defined in a totally symmetrical way to the usual pre-place map (or incidence function). Two transformations from P-nets to CP-nets are presented and it is proved that they preserve interleaving behavior. The transformations are based on the notion of complementary places defined for place/transition-nets and involve the definition and proof of a new extended complementary place invariant for CP-nets