Reliability modeling and deadlock control have become important issues in automated
manufacturing systems (AMSs) with reliable and unreliable resources. Therefore, this paper …

Based on the Petri net models of flexible manufacturing systems (FMSs), this paper focuses
on deadlock-free scheduling problem with the objective of minimizing the makespan. Two …

In this paper a special type of nonlinear marking specifications called stair generalized
mutual exclusion constraints (stair-GMECs) is defined. A stair-GMEC can be represented by …

Nowadays, many kinds of flexible manufacturing systems are used to process many
complex manufacturing works due to their machine flexibility and routing flexibility. However …

This paper proposes a new Petri net class, namely, Ratio-enforced weighted Augmented
Marked Graphs (RAMGs), and solves ratio control and liveness-enforcing supervision …

Although traffic deadlock at an intersection is a common phenomenon during rush hours, the
deadlock formation metrics such as formation probability and duration have not been …

In recent decades, deadlock control for automated manufacturing systems has been an
active area. Most researchers have assumed that allocated resources, such as sensors …

Fault diagnosis is an important problem in the manufacturing industry. It has been
extensively studied in the past few decades both in time‐driven systems and discrete event …

In automated manufacturing systems (AMSs), Petri nets are widely adopted to solve
supervisory control problems. Among them, how to enforce liveness and fairness for AMS …

This paper proposes a general approach, called a think-globally-act-locally method with
weighted arcs (TGALW), which can be used to compute a liveness-enforcing supervisor …