For the most recent entries see the Petri Nets Newsletter.

Can Skeletons Really be Used to Detect Deadlocks of Nets?.

Findlow, Greg

In: Proc. 4th Int. Workshop on Petri Nets and Performance Models (PNPM'91), Melbourne, Australia, pages 198-203. IEEE Comp. Soc. Press, December 1991.

Abstract: Vautherin's results relating the behaviour of classes of coloured (high-level) Petri nets to ordinary Petri nets (skeletons for the classes) are examined, and their usefulness and ease of application are investigated. The feasibility of using skeletons for the purpose of 'first estimate' verifications of nets (in particular, for the early detection of deadlocks, i.e. reachable dead markings) is considered. It is found that because the relationship established by Vautherin between the dead markings of a coloured net and those of the corresponding skeleton does not differentiate between reachable and unreachable markings, deadlock-freeness of a coloured net and deadlock-freeness of its skeletons are essentially independent properties.

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

Back to the Petri Nets Bibliography