For the most recent entries see the Petri Nets Newsletter.

Extended Colored Petri Net: an Efficient Tool for Analyzing Concurrent Systems.

Das, S.K.; Sarkar, D.; Agrawal, V.K.; Patnaik, L.M.

In: Information Sciences, Vol. 54, No. 3, pages 191-218. April 1991.

Abstract: The paper proposes a novel and simple definition of general colored Petri nets. This definition is coherent with that of (uncolored) Petri nets, preserves the reflexivity of the original net, and is extended to represent inhibitors. Also suggested are systematic and formal merging rules to obtain a well-formed structure of the extended colored Petri net by folding a given uncolored net. Finally, it presents a technique to compute colored invariants by selecting colored RP-subnets. On the average, the proposed technique performs better than the existing ones. The analysis procedure is explained through an illustrative example of a three-level interrupt-priority-handler scheme.

Keywords: extended coloured net; inhibitor; net folding; coloured invariants; RP subnet; interrupt priority-handler scheme.

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

Back to the Petri Nets Bibliography