Abstract:Unreasonable dispatching resources to jobs in flexible manufacturing system (FMS) may result in a deadlock situation. This serious situation is studied and avoided through Petri net (PN) analysis techniques in this paper. Firstly, a production Petri net (PPN) model for a given FMS is developed. Based on a certain set of resources in PPN, the concepts of a deadlock state and a potential deadlock state are introduced. Then, we present a deadlock avoidance method that consists of two parts. One is the construction of a deadlock state equation that describes the intrinsic relationship between resources assignation and a deadlock state in PPN. This equation is a necessary and sufficient condition for the occurrence of a deadlock situation. The other is the construction of a restrictive PN controller for each deadlock state equation. This restrictive PN controller can control the resources dispatching by excluding some enabled transitions from firing, consequently avoiding the deadlock. This method is minimally restrictive and allows the maximal use of resources not only for normal FMS, but also for special FMS with cyclic deadlock structure chain (i.e., a pathological type of circular waiting structure). Finally, two applications are given to illustrate the validity of this method. The results show that this method can be efficiently implemented in practical FMS.

Availability Analysis of Flexible Workflow Based on Stochastic Petri Net

Petri Nets Model of Emergency Control System for Shipping

QOS Performance Analysis for Flexible Workflow Supporting Exception Handling.

Petri Net Based Software Testing Scheduling And Selecting

Stochastic Workflow Nets Based Workflow Pattern Modeling

The Analysis of Production Process Management Model Based on Petri Nets

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

Distributed Intelligent Scheduling Of Fms

Scheduling Fmss Based On A Hybrid Petri Net Framework

Analysis Methods and Applications of Non-Markovian Stochastic Petri Nets

DevOps workflow verification and duration prediction using non‐Markovian stochastic Petri nets

A stochastic model for workflow QoS evaluation.

The Analysis on Workflow Model Deadlock by Petri Nets

Stochastic Modeling and Quality Evaluation of Workflow Systems Based on Qwf-Nets

Performance Equivalent Analysis of Workflow Systems

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

Performance modeling and analysis of workflow

Modeling and survivability analysis of service composition using Stochastic Petri Nets

Safety Analysis and Performance Evaluation of Time WF-nets

Modeling and Simulation of Emergency Management of Construction Incident Based on Generalized Stochastic Petri Nets

Performance Modeling of Grid Resource Management and Scheduling Systems