An iterative synthesis approach to Petri net-based deadlock prevention policy for flexible manufacturing systems

M Uzam, MC Zhou - IEEE Transactions on Systems, Man, and …, 2007 - ieeexplore.ieee.org
This paper proposes an iterative synthesis approach to Petri net (PN)-based deadlock
prevention policy for flexible manufacturing systems (FMS). Given the PN model (PNM) of an …

An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems

M Uzam, MC Zhou - International Journal of Production Research, 2006 - Taylor & Francis
Our previous work presented a Petri net-based iterative synthesis policy for deadlock
prevention in flexible manufacturing systems (FMS). Given the Petri net model of an FMS …

A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems

ZW Li, MC Zhou, NQ Wu - IEEE Transactions on Systems, Man …, 2008 - ieeexplore.ieee.org
Over the last two decades, a great deal of research has been focused on solving deadlock
problems in resource allocation systems such as computer communication systems …

A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions

Z Li, MC Zhou, MD Jeng - IEEE Transactions on Automation …, 2008 - ieeexplore.ieee.org
This paper addresses the deadlock problems in flexible manufacturing systems (FMS) by
using a Petri net siphon control method and the theory of regions. The proposed policy …

Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems

ZW Li, MC Zhou - IEEE Transactions on Systems, Man, and …, 2004 - ieeexplore.ieee.org
A variety of important Petri net-based methods to prevent deadlocks arising in flexible
manufacturing systems (FMS) are to add some control places and related arcs to strict …

Design of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems

YF Chen, ZW Li, M Khalgui… - IEEE Transactions on …, 2010 - ieeexplore.ieee.org
Deadlock prevention plays an important role in the modeling and control of flexible
manufacturing systems (FMS). This paper presents a novel and computationally efficient …

Identification and elimination of redundant control places in Petri net based liveness enforcing supervisors of FMS

M Uzam, Z Li, MC Zhou - The International Journal of Advanced …, 2007 - Springer
In the past two decades, a number of Petri-net-based approaches were proposed for
deadlock prevention in flexible manufacturing systems (FMS). An FMS is modeled as a Petri …

The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems

M Uzam - The International Journal of Advanced Manufacturing …, 2004 - Springer
In a flexible manufacturing system (FMS) with multiple products, deadlocks can arise due to
limited shared resources, such as machines, robots, buffers, fixtures etc. The development of …

Deadlock prevention based on structure reuse of Petri net supervisors for flexible manufacturing systems

ZW Li, GY Liu, HM Hanisch… - IEEE Transactions on …, 2011 - ieeexplore.ieee.org
Deadlocks are an undesirable situation in automated flexible manufacturing systems (FMS).
Their occurrences often deteriorate the utilization of resources and may lead to catastrophic …

An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions

M Uzam - The International Journal of Advanced Manufacturing …, 2002 - Springer
In this paper, an optimal deadlock prevention policy for flexible manufacturing systems
(FMSs) is proposed. In an FMS, dead-locks can arise because of a limited number of shared …