By Topic

Deadlock avoidance in FMS based on structural theory of Petri nets

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
K. Barkaoui ; Lab. CEDRIC-CNAM, Paris, France ; I. B. Abdallah

This paper presents an efficient deadlock avoidance method for FMS combining prevention and avoidance approaches using structure theory of Petri nets. The method proposed is achieved in two phases. First, from a Petri net model of a given FMS, the authors built an augmented net by adding a “local control place” to each not controlled minimal siphon of the initial net. In spite of the fact that the augmented net is deadlock-free for some classes of FMS, the occurrence of deadlock remains possible. That's why this phase is called “near-prevention” phase. The authors show that the augmented net reaches necessarily an unsafe marking before the occurrence of a deadlock. An unsafe marking is a marking where at least a “local control place” is token-free. So, the second phase of the proposed method consists to falsify as long as possible this necessary condition (unsafe markings) of occurrence of deadlocks in a dynamic way. This phase is implemented by an efficient Petri net controller for which effective conflict transitions are solved according to an appropriate resource allocation policy

Published in:

Emerging Technologies and Factory Automation, 1995. ETFA '95, Proceedings., 1995 INRIA/IEEE Symposium on  (Volume:2 )

Date of Conference:

10-13 Oct 1995