Deadlock control of concurrent manufacturing processes sharing finite resources

Document Type

Article

Publication Date

9-1-2008

Abstract

A novel deadlock control policy is developed for modeling the concurrent execution of manufacturing processes with limited shared resources through a class of nets, ES3PR. A relevant property of the system behavior is that it is deadlock-free. Recent work has shown that deadlock situations in a plant system can be easily characterized by the structural analysis of the system, particularly, in terms of unmarked or insufficiently marked siphons in its Petri net model. The strict minimal siphons in a plant ES3PR net model are divided into elementary and dependent ones. The proposed deadlock prevention policy is to make all siphons satisfy maximal cs-property when the elementary siphons in the plant Petri net model are properly supervised via explicitly adding monitors for them with appropriate initial markings. Compared with the existing approaches in the literature, the advantage of the policy is that a much smaller number of supervisory places (monitors) are added and unnecessary iterative processes are avoided. Finally, its application is illustrated by a flexible manufacturing example. © 2007 Springer-Verlag London Limited.

Identifier

49649128349 (Scopus)

Publication Title

International Journal of Advanced Manufacturing Technology

External Full Text Location

https://doi.org/10.1007/s00170-007-1125-6

e-ISSN

14333015

ISSN

02683768

First Page

787

Last Page

800

Issue

7-8

Volume

38

This document is currently not available here.

Share

COinS