Deadlock control of automated manufacturing systems based on Petri nets—A literature review

ZW Li, NQ Wu, MC Zhou - IEEE Transactions on Systems, Man …, 2011 - ieeexplore.ieee.org
Deadlocks are a rather undesirable situation in a highly automated flexible manufacturing
system. Their occurrences often deteriorate the utilization of resources and may lead to …

Scheduling cluster tools in semiconductor manufacturing: Recent advances and challenges

CR Pan, MC Zhou, Y Qiao… - IEEE transactions on …, 2017 - ieeexplore.ieee.org
Cluster tools are automated robotic manufacturing systems containing multiple computer-
controlled process modules. They have been increasingly used for wafer fabrication. This …

[图书][B] Deadlock resolution in automated manufacturing systems: a novel Petri net approach

ZW Li, MC Zhou - 2009 - books.google.com
Deadlock problems in flexible manufacturing systems (FMS) have received more and more
attention in the last two decades. Petri nets are one of the more promising mathematical …

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 …

Robust deadlock control for automated manufacturing systems with unreliable resources based on Petri net reachability graphs

G Liu, P Li, Z Li, N Wu - IEEE Transactions on Systems, Man …, 2018 - ieeexplore.ieee.org
Resource failures may happen in automated manufacturing systems (AMSs) because of
different reasons in the real world, making most existing deadlock control policies …

Modeling, analysis and control of dual-arm cluster tools with residency time constraint and activity time variation based on Petri nets

NQ Wu, MC Zhou - IEEE Transactions on Automation Science …, 2012 - ieeexplore.ieee.org
Because of residency time constraints and activity time variation of cluster tools, it is very
difficult to operate such integrated semiconductor manufacturing equipment. This paper …

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 …

Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems

YF Chen, ZW Li - Automatica, 2011 - Elsevier
In this paper, a deadlock prevention policy for flexible manufacturing systems (FMS) is
proposed, which can obtain a maximally permissive liveness-enforcing Petri net supervisor …

Optimal subtask allocation for human and robot collaboration within hybrid assembly system

F Chen, K Sekiyama, F Cannella… - IEEE Transactions on …, 2013 - ieeexplore.ieee.org
In human and robot collaborative hybrid assembly cell as we proposed, it is important to
develop automatic subtask allocation strategy for human and robot in usage of their …

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 …