This paper focuses on the liveness analysis and deadlock control for automated
manufacturing systems (AMSs) with multiple resource requirements. Such an AMS is …

Resource failures may happen from time to time in an automated manufacturing system
(AMS) in production practice, leading to that most of deadlock control methods in the …

Solving states separation problems is an important technique to obtain liveness-enforcing
and optimal or near-optimal supervisors for flexible manufacturing systems based on Petri …

Most approaches for deadlock prevention and liveness enforcement in Petri nets rely on
siphon control methods or the theory of regions to derive monitor-based supervisors. These …

A flexible modular and hierarchical structure is presented to reduce computational effort in
designing optimal nonblocking supervisors for discrete-event systems (DES). The structure …

Based on Petri net (PN) models of automated manufacturing systems, this paper proposes a
deadlock prevention method to obtain a maximally permissive (optimal) supervisor while …

This paper proposes robust deadlock prevention controllers for automated manufacturing
systems (AMSs) with a type of unreliable resources, and the aim is to ensure that the parts of …

Deadlocks should be eliminated in highly automated manufacturing systems since their
occurrence implies the stoppage of the whole or partial system operation. Over the past …

A standing challenge in multirobot systems is to realize safe and efficient motion planning
and coordination methods that are capable of accounting for uncertainties and …

This paper focuses on the deadlock control and scheduling problem of two-stage assembly
permutation flowshop with limited buffers. In such a system, all parts are first processed in a …