By Topic

A deadlock prevention policy for a class of Petri nets S3PMR based on elementary siphons

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
$31 $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)
Mingming Yan ; Sch. of Electro-Mech. Eng., Univ. of Electron. Sci. & Technol. of China, Chengdu, China ; Mi Zhao

To solve the problem of deadlocks in Flexible Manufacturing Systems (FMS), this paper presents an effective deadlock-free policy for a special class of Petri nets, S3PMR. The deadlock avoidance policy (DAP) of Conjunctive/Disjunctive Resources Upstream Neighborhood (C/D RUN) is combinated with the deadlock prevention policy (DPP), and the underlying (sequential) resources are allocated reasonably to guarantee the absence of deadlock states and processes. Siphons in an S3PMR net model are distinguished by elementary and dependent ones, a set of generalized mutual exclusion constraints (GMEC) expressed by the marking vector can be formalized from the set of elementary siphons. Then monitors based on the GMEC are added only to the elementary siphons of the plant model such that all siphons in the S3PMR net are all invariant-controlled and no emptiable siphon is generated due to the addition of the monitors. A practical application is utilized to illustrate the validity of the proposed novel method to design deadlock-free supervisores for S3PMR net model.

Published in:

Mechatronics and Automation (ICMA), 2012 International Conference on

Date of Conference:

5-8 Aug. 2012