Table of Contents Author Guidelines Submit a Manuscript
Discrete Dynamics in Nature and Society
Volume 2016 (2016), Article ID 8219424, 12 pages
Research Article

An Efficient Siphon-Based Deadlock Prevention Policy for a Class of Generalized Petri Nets

1School of Electro-Mechanical Engineering, Xidian University, Xi’an 710071, China
2Machinery and Electricity College, Shihezi University, Xinjiang 832003, China
3College of Electronics and Information, Xi’an Polytechnic University, Xi’an 710048, China

Received 13 October 2015; Revised 14 January 2016; Accepted 17 January 2016

Academic Editor: Manuel De la Sen

Copyright © 2016 YiFan Hou et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.


We propose a new deadlock prevention policy for an important class of resource allocation systems (RASs) that appear in the modeling of flexible manufacturing systems (FMSs). The model of this class in terms of generalized Petri nets is, namely, S4PR. On the basis of recent structural analysis results related to the elementary siphons in generalized Petri nets on one hand and an efficient deadlock avoidance policy proposed for the class of conjunctive/disjunctive (C/D) RASs on the other hand, we show how one can generate monitors to be added to a net system such that all its strict minimal siphons are -controlled and no insufficiently marked siphon is generated. Thereby, a new, simple, and more permissive liveness-enforcing supervisor synthesis method for S4PR is established.