This work focuses on multi-objective scheduling problems of automated manufacturing
systems. Such an automated manufacturing system has limited resources and flexibility of …

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 …

The deadlock control problem in automated manufacturing systems (AMSs) has received
much attention in recent years due to the flexibility of an AMS. In the framework of Petri nets …

Various deadlock control policies for automated manufacturing systems with reliable and
shared resources have been developed, based on Petri nets. In practical applications, a …

Deadlock resolution strategies based on siphon control are widely investigated. Their
computational efficiency largely depends on siphon computation. Mixed-integer …

Petri nets are an important and popular tool to model and analyze deadlocks in automated
manufacturing systems. The state space of a Petri net model can be divided into two disjoint …

Deadlock resolution has been an important research topic in the field of automated
manufacturing systems (AMSs). Researchers generally assume that AMS resources never …

Deadlocks are a highly undesirable situation in flexible manufacturing systems (FMSs). This
article presents a direct and novel method to detect such markings by constructing the …

Nowadays, wafer fabrication in semiconductor manufacturing is highly dependent on cluster
tools. A cluster tool is equipped with several process modules (PMs) and a wafer handling …

The diagnosability problem of faults is studied in the framework of vector discrete-event
system (VDES). A VDES is a discrete-event system model in which a system state is …