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.

Molding and Optimization of Workflow Based on Stochastic Timed Petri Nets in Customized Supply Chain Management

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

Optimization of Supply Chain Management in Inventory & Manufactory Based on MPC Strategy

Scheduling Fmss Based On A Hybrid Petri Net Framework

Distributed Intelligent Scheduling Of Fms

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

Reliability-Based and Cost-Oriented Product Optimization Integrating Fuzzy Reasoning Petri Nets, Interval Expert Evaluation and Cultural-Based DMOPSO Using Crowding Distance Sorting

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

Managing financial risk in designing multi-echelon supply chain networks in petrochemical industry

Optimal Scheduling of Semiconductor Manufacture System Based on Improved Petri Net Model

Modeling & Analysis Method of StokPN and Its Application in Supply Chain Inventory Control

Stochastic Workflow Nets Based Workflow Pattern Modeling

Performance Balance Oriented Product Structure Optimization Involving Heterogeneous Uncertainties in Intelligent Manufacturing with an Industrial Network

Production line simulation using stochastic timed Petri-net for preventive maintenance scheduling

Application of Petri Nets for Deadlock Analysis and Avoidance in Flexible Manufacturing Systems

Interferon-induced proteins: identification of Mx proteins in various mammalian species.

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

An integrated approach for remanufacturing job shop scheduling with routing alternatives

A Timed Colored Petri Net Simulation-Based Self-Adaptive Collaboration Method for Production-Logistics Systems

Performance Analysis for Flexible Manufacturing System Based on Stochastic Object Petri Nets

Modeling and performance optimization of multiple product FMS using colored Petri net and response surface methods