Most permissive liveness-enforcing Petri net supervisors for flexible manufacturing systems

Document Type

Article

Publication Date

11-15-2012

Abstract

This paper presents a deadlock prevention approach to find a maximally permissive liveness-enforcing pure Petri net supervisor, expressed by a set of monitors, for a flexible manufacturing system (FMS), if such a supervisor exists. Otherwise, it derives the most permissive one in the sense that there are no other Petri net supervisors that are more permissive than it. The proposed approach computes the reachability graph of a plant model only once. By using a vector covering approach, the sets of legal markings and first-met bad markings (FBMs) are reduced to two smaller ones, namely the minimal covering set of legal markings and the minimal covered set of FBMs. At each iteration, an FBM is selected. By solving an integer linear programming problem (ILPP), a place invariant (PI) is designed to prevent the FBM from being reached while no marking in the minimal covering set of legal markings is forbidden. If the ILPP has no solution, implying that there is no maximally permissive Petri net supervisor for the plant net model, another ILPP is designed to remove the least number of legal markings whose reachability conditions contradict others. Then, a PI is redesigned to ensure that the remaining legal markings are reachable. This process is carried out until no FBM can be reached. Finally, a most permissive liveness-enforcing supervisor is obtained. FMS examples are presented to illustrate the proposed approaches. © 2012 Copyright Taylor and Francis Group, LLC.

Identifier

84868245168 (Scopus)

Publication Title

International Journal of Production Research

External Full Text Location

https://doi.org/10.1080/00207543.2011.637526

e-ISSN

1366588X

ISSN

00207543

First Page

6357

Last Page

6371

Issue

22

Volume

50

Grant

61074035

Fund Ref

Alexander von Humboldt-Stiftung

This document is currently not available here.

Share

COinS