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 …

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

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 …

Business Process Model and Notation is known as a widely used standard for business
processes modeling. However, its main drawback is that it lacks formal semantics, leading to …

In an automated manufacturing system (AMS), resources are, in general, subject to
unpredictable failures, which invalidate many existing deadlock control strategies. In this …

Resource allocation systems (RASs) exist in various fields of modern society. The deadlock
control problem is a crucial issue in control theory of RAS. This work is concentrated on a …

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 is a rather undesirable case in automated manufacturing systems (AMSs). The
appearance of deadlock can cause the partial or total stagnation of a system. So far, a large …

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 …