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.

Optimal solutions to job planning problems in the assembly shop by timed Petri net

A Petri Net Method for the Optimal Job Planning in Assembly Shops

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

Scheduling Fmss Based On A Hybrid Petri Net Framework

Modeling job shop scheduling with batches and setup times by timed Petri nets

A Two-Step ACO-PSO Approach to Optimize Flexible Jobshop Scheduling of Air Compressor Based on Petri Net Model

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

Distributed Intelligent Scheduling Of Fms

Dispatching Rule Extraction Method for Job Shop Scheduling Problem

Optimal Operation Planning Using Fuzzy Petri Nets with Resource Constraints.

Scheduling Strategy and Control Methods for the Manual Assembly Process

A study of the layout planning of plant facility based on the timed Petri net and systematic layout planning

Dynamic Job Shop Scheduling Based on Order Remaining Completion Time Prediction

Mining Scheduling Knowledge for Job Shop Scheduling Problem

A Discrete Cooperative Control Method for Production Scheduling Problem of Assembly Manufacturing System

A GAPN Approach for the Flexible Job-Shop Scheduling Problem with Indirect Energy and Time-of-Use Electricity Pricing

Scheduling FMS Problems with Heuristic Search Function and Transition-Timed Petri Nets

Solving Flexible Job-shop Problem with Sequence-dependent Setup Times by Using Selection Hyper-heuristics.

Application of Information Node Period Search Method to Job-Shop Scheduling

Research on dynamic scheduling and perception method of assembly resources based on digital twin

Integrated Method of Machining and Assembly Planning Based on JIT and Its Application