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.

Research on real-time FSM modeling for microfabrication NC system

Research On Rtfsm Modeling For Control Flow Of Nc Machine Tool

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

Research on Real-Time Scheduling Strategy for Transient Fault Tolerance in Nc System

Real-time scheduling scheme for EPA networks

Theory And Practice Of Real-Time Scheduling In Networked Control Systems

Advances of Theoretical Research on Network-based Real-time Control Systems

Modeling and Simulation Technology of Complex Mechanical Systems

Distributed Intelligent Scheduling Of Fms

A Basic Study on Algorithm of Real-Time Schedule Table for Fieldbus

Realtime Characteristic of FF Like Centralized Control Fieldbus and Its State-of-art

Allocating IEC Function Blocks for Parallel Real-Time Distributed Control System

Energy consumption modeling of machining transient states based on finite state machine

Design And Evaluation Of Event-Driven Networked Realtime Control Systems With Iec Function Blocks

Scheduling Fmss Based On A Hybrid Petri Net Framework

Simulation based performance analysis of networked control systems with resource constraints

Hybrid Tasks Model of NC System and Its Optimal Scheduling Algorithm

Fundamental problems of networked control system from the view of control and scheduling

Integrated Feedback Scheduling Of Networked Control Systems

Modeling and Analysis of Real-time Properties of Open Architecture Computerized Numerical Control Systems

Modular Design Method for Control of Reconfigurable Machine Tools