One Novel and Optimal Deadlock Recovery Policy for Flexible Manufacturing Systems Using Iterative Control Transitions Strategy

Ter-Chan Row,Yen-Liang Pan,Wei-Ming Syu,Ching-Cheng Wang

doi:10.1155/2019/4847072

Abstract

This paper focuses on solving deadlock problems of flexible manufacturing systems (FMS) based on Petri nets theory. Precisely, one novel control transition technology is developed to solve FMS deadlock problem. This new proposed technology can not only identify the maximal saturated tokens of idle places in Petri net model (PNM) but also further reserve all original reachable markings whatever they are legal or illegal ones. In other words, once the saturated number of tokens in idle places is identified, the maximal markings of system reachability graph can then be checked. Two classical S3PR (the Systems of Simple Sequential Processes with Resources) examples are used to illustrate the proposed technology. Experimental results indicate that the proposed algorithm of control transition technology seems to be the best one among all existing algorithms.

Highlights

Nowadays, in a rapidly changing society, every factory tries to use robots to possess complicated manufacturing workings
This paper focuses on solving deadlock problems of flexible manufacturing systems (FMS) based on Petri nets theory
To focus the maximally live performance, this paper proposes one new, different, and simple control method based on control transition technology

Summary

Introduction

In a rapidly changing society, every factory tries to use robots to possess complicated manufacturing workings. Huang et al [3] presented a method called maximal siphons control technology to solve the deadlock problem. Chao and Pan [21] proposed the uniform formulas for compound siphons, complementary siphons, and characteristic vectors to solve the deadlock problems of flexible manufacturing systems Zhang and Uzam [23] adopted control transition method to solve the deadlocks of flexible manufacturing systems They improved the computational efficiency of [13] since the redundant controller’s problem was overcome. To focus the maximally live performance, this paper proposes one new, different, and simple control method based on control transition technology It presents a very different and novel concept in solving deadlock problems.

Preliminaries

One Novel Deadlock Prevention Policy

Examples and Comparisons

Findings

Conclusions