Synthesis of monitor-based liveness-enforcing supervisors for S3 PR with ξ-resources

Document Type

Article

Publication Date

6-1-2015

Abstract

Deadlocks are a rather undesirable phenomenon in flexible manufacturing systems (FMSs). This work, by adding monitors, develops a deadlock prevention policy for FMSs that can be modeled by a class of Petri nets called -S3 PR with ξ-resources. First, an algorithm is presented to reduce an S3 PR via a ξ-resource. Based on the algorithm, ξ-resources in -S3 PRs are classified into two types: 1) A-ξ-resources and 2) B-ξ-resources. Next, for an α-S3 PR with only B-ξ-resources, it is proved that a maximally permissive liveness-enforcing supervisor can be designed by controlling all emptied strict minimal siphons. For an α-S3 PR containing A-ξ-resources, a liveness-enforcing supervisor can be designed by iteratively reducing the net via A-ξ-resources and adding the corresponding monitors. Finally, a deadlock prevention algorithm for α-S3 PRs is presented. Two FMS examples are used to illustrate its application. Its comparison results with other state-of-the-art deadlock prevention policies validate its overall advantages in terms of computational complexity, structural complexity, and behavior permissiveness.

Identifier

84929305006 (Scopus)

Publication Title

IEEE Transactions on Systems Man and Cybernetics Systems

External Full Text Location

https://doi.org/10.1109/TSMC.2014.2376476

e-ISSN

21682232

ISSN

21682216

First Page

967

Last Page

975

Issue

6

Volume

45

Grant

61100056

This document is currently not available here.

Share

COinS