Identification and elimination of redundant control places in petri net based liveness enforcing supervisors of FMS

Document Type

Article

Publication Date

11-1-2007

Abstract

In the past two decades, a number of Petri-net-based approaches were proposed for deadlock prevention in flexible manufacturing systems (FMS). An FMS is modeled as a Petri net, and then the controller or the liveness enforcing supervisor (LES) is computed as a Petri net. A live Petri net (LPN) guarantees deadlock-free operations of the modeled FMS. An LES consists of a number of control places (CPs) and their related arcs. To-date most of the attention has been paid to make the underlying Petri net models live without questioning whether or not all of the computed CPs are necessary. It is often the case that the number of CPs determined by these approaches is not minimal. Reducing it in order to reduce the complexity of the controlled system is an important issue that was not tackled before. To address this problem, this paper proposes a redundancy test for an LES of an FMS. The proposed approach takes an LPN model, controlled by n CPs, as input and in the existence of any redundant CPs it produces redundant and necessary CPs. The proposed approach is applicable to any LPN consisting of a Petri net model (PNM), controlled by means of a set of CPs. © 2006 Springer-Verlag London Limited.

Identifier

35348943472 (Scopus)

Publication Title

International Journal of Advanced Manufacturing Technology

External Full Text Location

https://doi.org/10.1007/s00170-006-0701-5

e-ISSN

14333015

ISSN

02683768

First Page

150

Last Page

168

Issue

1-2

Volume

35

Grant

48752

Fund Ref

UK Research and Innovation

This document is currently not available here.

Share

COinS