Liveness Analysis and Deadlock Control for Automated Manufacturing Systems with Multiple Resource Requirements

Document Type

Article

Publication Date

2-1-2020

Abstract

This paper focuses on the liveness analysis and deadlock control for automated manufacturing systems (AMSs) with multiple resource requirements. Such an AMS is modeled by a class of generalized Petri nets called systems of simple sequential processes with multiple resources (S3PMR). It is shown that a deadlock of the considered AMSs can be characterized by the saturation of a structural object in S3PMR, called perfect resource transition-circuit (PRT-circuit). As a consequence, an S3PMR is live if and only if no PRT-circuit is saturated at any reachable marking. To ensure the system liveness, one has to prevent all PRT-circuits from being saturated at all reachable markings. To develop a structurally simple Petri net deadlock controller, we present the concept of an effective transition cover, which is a special subset of PRT-circuits that may be saturated. Then by designing a control place with a proper control variable for each PRT-circuit in an effective transition cover, we obtain a deadlock controller for the system. The needed control variables are determined by an integer linear program. Since the number of PRT-circuits in an effective transition cover is much less than that of all PRT-circuits that need to control, our controller is of small structural size. For an AMS with saturable PRT-circuits, there exists at least a transition cover. An algorithm is presented for checking the effectiveness of transition covers, and transforming noneffective transition covers into effective ones. Finally, some examples are used to illustrate the proposed method.

Identifier

85059048091 (Scopus)

Publication Title

IEEE Transactions on Systems Man and Cybernetics Systems

External Full Text Location

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

e-ISSN

21682232

ISSN

21682216

First Page

525

Last Page

538

Issue

2

Volume

50

Grant

61304052

Fund Ref

National Natural Science Foundation of China

This document is currently not available here.

Share

COinS