Scheduling of resource allocation systems with timed Petri nets: A survey

B Huang, M Zhou, XS Lu, A Abusorrah - ACM Computing Surveys, 2023 - dl.acm.org
Resource allocation systems (RASs) belong to a kind of discrete event system commonly
seen in the industry. In such systems, available resources are allocated to concurrently …

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 …

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 …

Multiagent and bargaining-game-based real-time scheduling for internet of things-enabled flexible job shop

J Wang, Y Zhang, Y Liu, N Wu - IEEE Internet of Things Journal, 2018 - ieeexplore.ieee.org
With the rapid advancement and widespread applications of information technology in the
manufacturing shop floor, a huge amount of real-time data is generated, providing a good …

Optimal one-wafer cyclic scheduling and buffer space configuration for single-arm multicluster tools with linear topology

L Bai, N Wu, Z Li, MC Zhou - IEEE Transactions on Systems …, 2016 - ieeexplore.ieee.org
This work studies the scheduling problem of a single-arm multicluster tool with a linear
topology and process-bound bottleneck individual tool. The objective is to find a one-wafer …

IoT-enabled real-time production performance analysis and exception diagnosis model

Y Zhang, W Wang, N Wu, C Qian - IEEE Transactions on …, 2015 - ieeexplore.ieee.org
The recent developments of technologies in Internet of Things (IoT) provide the opportunities
for smart manufacturing with real-time traceability, visibility, and interoperability in production …

Compact supervisory control of discrete event systems by Petri nets with data inhibitor arcs

YF Chen, ZW Li, K Barkaoui, NQ Wu… - IEEE Transactions on …, 2016 - ieeexplore.ieee.org
This work proposes a novel structure in Petri nets, namely data inhibitor arcs, and their
application to the optimal supervisory control of Petri nets. A data inhibitor arc is an arc from …

Scheduling of single-arm cluster tools for an atomic layer deposition process with residency time constraints

FJ Yang, NQ Wu, Y Qiao, MC Zhou… - IEEE Transactions on …, 2016 - ieeexplore.ieee.org
In semiconductor manufacturing, there are wafer fabrication processes with wafer revisiting.
Some of them must meet wafer residency time constraints. Taking atomic layer deposition …

Petri net-based approach to short-term scheduling of crude oil operations with less tank requirement

SW Zhang, NQ Wu, ZW Li, T Qu, CD Li - Information Sciences, 2017 - Elsevier
With the interaction of discrete-event and continuous processes, the short-term scheduling
problem of crude oil operations is essentially combinatorial. Thus, it is preferred to develop …

Deadlock recovery for flexible manufacturing systems modeled with Petri nets

YF Chen, ZW Li, A Al-Ahmari, NQ Wu, T Qu - Information Sciences, 2017 - Elsevier
This paper deals with deadlock problems in Petri nets by adding a set of recovery
transitions. Different from traditional deadlock control methods by deploying control places …