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 …

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 …

A survey of siphons in Petri nets

GY Liu, K Barkaoui - Information Sciences, 2016 - Elsevier
Petri nets have gained increasing usage and acceptance as a basic model of asynchronous
concurrent systems since 1962. As a class of structural objects of Petri nets, siphons play a …

A Petri net-based discrete-event control of automated manufacturing systems with assembly operations

H Hu, MC Zhou - IEEE Transactions on Control Systems …, 2014 - ieeexplore.ieee.org
In the context of automated manufacturing systems (AMSs), Petri nets are widely adopted to
solve the modeling, analysis, and control problems. So far, nearly all known approaches to …

Design and implementation of a service-oriented architecture for the optimization of industrial applications

A Girbea, C Suciu, S Nechifor… - IEEE Transactions on …, 2013 - ieeexplore.ieee.org
A novel architecture for the field of industrial automation is described, the goals of which are:
1) computation of optimal production plans; 2) automated usage of the optimized plans; 3) …

Robust deadlock avoidance policy for automated manufacturing system with multiple unreliable resources

J Luo, Z Liu, S Wang, K Xing - IEEE/CAA Journal of Automatica …, 2020 - ieeexplore.ieee.org
This work studies the robust deadlock control of automated manufacturing systems with
multiple unreliable resources. Our goal is to ensure the continuous production of the jobs …

Deadlock-free scheduling method for flexible manufacturing systems based on timed colored Petri nets and anytime heuristic search

OT Baruwa, MA Piera, A Guasch - IEEE Transactions on …, 2014 - ieeexplore.ieee.org
This paper addresses the deadlock (DL)-free scheduling problem of flexible manufacturing
systems (FMS) characterized by resource sharing, limited buffer capacity, routing flexibility …

Robust deadlock avoidance and control of automated manufacturing systems with assembly operations using Petri nets

N Du, H Hu, MC Zhou - IEEE Transactions on Automation …, 2020 - ieeexplore.ieee.org
Deadlock resolution has been an important research topic in the field of automated
manufacturing systems (AMSs). Researchers generally assume that AMS resources never …

Decentralized supervision of Petri nets with a coordinator

J Ye, Z Li, A Giua - IEEE Transactions on Systems, Man, and …, 2014 - ieeexplore.ieee.org
This paper develops a decentralized supervision policy for a Petri net through collaboration
between a coordinator and subnet controllers. The coordinator is chosen from the subnet …