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 …

Cluster tools are automated robotic manufacturing systems containing multiple computer-
controlled process modules. They have been increasingly used for wafer fabrication. This …

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 …

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 …

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 …

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 …

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 …

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 …

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 resolution has been an important research topic in the field of automated
manufacturing systems (AMSs). Researchers generally assume that AMS resources never …