For the most recent entries see the Petri Nets Newsletter.

Extensions to Coloured Petri Nets.

Billington, Jonathan

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography