Abstract:ABSTRACT Flexible assembly systems (FASs) are a class of resource allocation systems with assembly processes as their inevitable components. Deadlock resolution and liveness enforcement play important roles in the supervisory control of FASs. Design of deadlock avoidance policies (DAPs) for FASs has received significant attention recently. The computational feasibility of real-time DAPs is of great importance for the policies’ online implementation in practical applications. However, there are difficulties brought by the existence of assembly processes. So far, nearly all known DAPs with polynomial-time complexity apply only to systems without assembly operations. This study focuses on the deadlock-avoidance control problem of a broader class of FASs as compared to those discussed in the existing work. Specifically, for an FAS addressed in this paper, each resource can be shared by any two operations, and it also allows multiple resource acquisition at each processing step. This work develops a novel DAP for such FASs, which is based on their Petri-net models and actually an improved Banker’s algorithm that consists of three executable algorithms. Moreover, the computational time complexity of the DAP is polynomial in the size of the system model. The application of the proposed method to some examples illustrates its effectiveness and efficiency.

NONBLOCKING CONTROL OF PETRI NETS USING UNFOLDING

Control of Safe Ordinary Petri Nets Using Unfolding

Control of safe ordinary petri nets with marking specifications using unfolding

Supervisor Synthesis For Enforcing Gmecs On A Controlled Petri Net

Forbidden State Avoidance Controller Synthesis for Petri Nets

Control synthesis for a class of controlled Petri nets

Non‐blocking Decentralized Control of Discrete Event Systems Based on Petri Nets

Supervisor Synthesis for Bounded Petri Nets Based on a Transformation Function.

Supervisor Synthesis for Enforcing Linear Constraints on A Class of Petri Nets with Unobservable Transitions

Supervisory Control Of Discrete-Event Systems Using Enabling Arc Petri Nets

Controller design for a class of controlled Petri nets

Supervisor design for a class of generalized Petri net with uncontrollable transitions

Design of Petri net-based deadlock prevention controllers for flexible manufacturing systems

Supervisor Synthesis for a Class of Forbidden State Problems in Petri Nets

Petri Net Cascade Decomposition for Supervisory Control

Synthesis of Petri nets controller for discrete event systems based on finite capacity places-Part 2

Polynomial-complexity Supervisory Control for Flexible Assembly Systems Based on Petri Nets.

Synthesis of supervisor enforcing Parikh constraints with uncontrollable transitions in Petri Nets

Feedback Control of Petri Nets Based on Place Invariants and Place Fusion

NET TRANSFORMATION AND THEORY OF REGIONS FOR OPTIMAL SUPERVISORY CONTROL OF PETRI NETS

Design and coordination of partial petri net controllers for a maximally permissive supervisory control