Abstract:Based on Petri net models, this work aims to address deadlock prevention problem for a class of flexible manufacturing systems (FMSs), which can be modeled by systems of simple sequential processes with resources (S3PRs). In an S3PR, a ξ-resource is a resource with unit capacity shared by two or more maximal perfect resource transition circuits (MPRT-circuits) that do not contain each other. For S3PRs without ξ-resources, the optimal Petri net-based polynomial complexity deadlock avoidance policies are synthesized in the previous work. This work focuses on the design of optimal Petri net controllers for S3PRs with ξ-resources. First, the concepts of key resources and key transitions are introduced. A key resource is a special ξ-resource. If there is a key transition in an S3PR, there is a key resource in it, but not vice versa. For S3PRs with key resources, if there is no key transition in them, optimal Petri net controllers are synthesized; if there exist key transitions in them, it proves that when these nets are maximally permissive controlled (called as first-controlled), key transitions can result in the occurrence of deadlock phenomena (called as secondary-deadlock) in the controlled nets. Second, for S3PRs with key resources that contain key transitions and satisfy the Key-condition, secondary-deadlocks can be characterized by maximal perfect control transition circuits (MPCT-circuits) that are saturated at some reachable markings of their first-controlled systems. Then, by adding a control place and related arcs to each MPCT-circuit, secondary-deadlocks can be prevented and optimal Petri net controllers are designed for S3PRs with key resources that satisfy the Key-transition. Thereby, an optimal deadlock control policy for a class of FMSs with key resources is synthesized. Finally, a few examples are provided to demonstrate the presented policy.

An Improved Synthesis Method Based on ILPP and Colored Petri Net for Liveness Enforcing Controller of Flexible Manufacturing Systems

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

Computationally Improved Optimal Control Methodology for Linear Programming Problems of Flexible Manufacturing Systems.

Design of Optimal Petri-net Controllers for a Class of Flexible Manufacturing Systems with Key Resources

Petri-net-based Robust Supervisory Control of Automated Manufacturing Systems

A Hybrid Approach to Design Deadlock-Free Petri Net Controller for Discrete Event Systems

A Polynomial Complexity Deadlock Avoidance Method for a Class of Flexible Manufacturing Systems

Finite Capacity Place Method Based Deadlock Prevention Algorithm

An Extension of the Linear Integer Program Approach for Controller Synthesis of Des Modeled by Petri Nets

Strong Controllable Siphon Basis-Based Robust Deadlock Control for Manufacturing Systems with Multiple Unreliable Resources

Control synthesis for a class of controlled Petri nets

Modeling, Simulation, and Control of Flexible Manufacturing Systems – A Petri Net Approach; Meng Chu Zhou; Kurapati Venkatesh; Yushun Fan; World Scientific, Singapore, 1999

A Petri Net-Based Discrete-Event Control of Automated Manufacturing Systems With Assembly Operations

Petri Net Based Supervisor For Hybrid-Logic Linear Constraints

Optimality Test for Control Places of Petri Net Based Liveness Enforcing Supervisors of FMSs

SYNTHESIS OF OPTIMAL LIVE PETRI NET MODELS FOR A CLASS OF FMS

Deadlock Prevention for Flexible Manufacturing Systems Via Controllable Siphon Basis of Petri Nets

Optimal Supervisory Control for Flexible Manufacturing Systems Model With Petri Nets: A Place-Transition Control

Liveness Analysis and Deadlock Control for Automated Manufacturing Systems with Multiple Resource Requirements.

Deadlock Characterization and Control of Flexible Assembly Systems with Petri Nets.

Deadlock Avoidance Petri Net Controller for Manufacturing Systems with Multiple Resource Service.