Scheduling of resource allocation systems with timed Petri nets: A survey
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 …
seen in the industry. In such systems, available resources are allocated to concurrently …
Scheduling cluster tools in semiconductor manufacturing: Recent advances and challenges
Cluster tools are automated robotic manufacturing systems containing multiple computer-
controlled process modules. They have been increasingly used for wafer fabrication. This …
controlled process modules. They have been increasingly used for wafer fabrication. This …
A reachability-decidable Petri net modeling method for discrete event systems
Petri nets (PNs) are graphical and mathematical tools used to model a variety of discrete
event systems and analyze their properties. Reachability is their fundamental property that is …
event systems and analyze their properties. Reachability is their fundamental property that is …
Scheduling semiconductor testing facility by using cuckoo search algorithm with reinforcement learning and surrogate modeling
ZC Cao, CR Lin, MC Zhou… - IEEE Transactions on …, 2018 - ieeexplore.ieee.org
A semiconductor final testing scheduling problem with multiresource constraints is
considered in this paper, which is proved to be NP-hard. To minimize the makespan for this …
considered in this paper, which is proved to be NP-hard. To minimize the makespan for this …
Multiagent and bargaining-game-based real-time scheduling for internet of things-enabled flexible job shop
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 …
manufacturing shop floor, a huge amount of real-time data is generated, providing a good …
[HTML][HTML] Robustness evaluation method for unmanned aerial vehicle swarms based on complex network theory
W **aohong, Y Zhang, W Lizhi, LU Dawei… - Chinese Journal of …, 2020 - Elsevier
Abstract Unmanned Aerial Vehicle (UAV) swarms have been foreseen to play an important
role in military applications in the future, wherein they will be frequently subjected to different …
role in military applications in the future, wherein they will be frequently subjected to different …
[PDF][PDF] Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems
The paper proposes an algorithm for safeness verification of a Petri net-based specification
of the control part of cyberphysical systems. The method involves a linear algebra technique …
of the control part of cyberphysical systems. The method involves a linear algebra technique …
Deadlock-free supervisor design for robotic manufacturing cells with uncontrollable and unobservable events
In this paper, a deadlock prevention policy for robotic manufacturing cells with
uncontrollable and unobservable events is proposed based on a Petri net formalism. First, a …
uncontrollable and unobservable events is proposed based on a Petri net formalism. First, a …
Robust deadlock avoidance policy for automated manufacturing system with multiple unreliable resources
J Luo, Z Liu, S Wang, K **ng - 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 …
multiple unreliable resources. Our goal is to ensure the continuous production of the jobs …
A Siphon-Based Deadlock Prevention Strategy for S3PR
Iterative deadlock prevention strategies based on siphons have drawn increasing attention.
For iterative strategies, selecting which siphon to control at each iteration has an influence …
For iterative strategies, selecting which siphon to control at each iteration has an influence …