In: PNPM89. Proceedings of the Third International Workshop On Petri Nets and Performance Models, 1989, Kyoto, Japan, pages 61-70. Los Alamitos, CA, USA: IEEE Computer Society Press, 1990.
Abstract: Coloured 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. Two transformations from P-nets to CP-nets are presented and it is proved that they preserve interleaving behaviour. 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.
Keywords: extended coloured net; inhibitor function; capacity function; complementary place.