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 …

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 …

Comparing digraph and Petri net approaches to deadlock avoidance in FMS

MP Fanti, B Maione, B Turchiano - IEEE Transactions on …, 2000 - ieeexplore.ieee.org
Flexible manufacturing systems (FMSs) are modern production facilities with easy
adaptability to variable production plans and goals. These systems may exhibit deadlock …

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 …

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 …

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 …

Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model

N Wu - IEEE Transactions on Systems, Man, and Cybernetics …, 1999 - ieeexplore.ieee.org
Concurrent competition for finite resources by multiple parts in flexible manufacturing
systems (FMS) results in deadlock. This is an important issue to be addressed in the …

A Petri net based deadlock avoidance policy for flexible manufacturing systems with assembly operations and multiple resource acquisition

JC Luo, ZQ Liu, MC Zhou - IEEE Transactions on Industrial …, 2018 - ieeexplore.ieee.org
Efficient deadlock control policies are very important in the operation of flexible
manufacturing systems (FMS). This paper focuses on deadlock control problems for a …

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 …

Deadlock-free scheduling in flexible manufacturing systems using Petri nets

IB Abdallah, HA Elmaraghy… - International Journal of …, 2002 - Taylor & Francis
This paper addresses the deadlock-free scheduling problem in Flexible Manufacturing
Systems. An efficient deadlock-free scheduling algorithm was developed, using timed Petri …