Liveness and ratio-enforcing supervision of automated manufacturing systems using Petri nets

Document Type

Article

Publication Date

3-1-2012

Abstract

In automated manufacturing systems (AMSs), Petri nets are widely adopted to solve supervisory control problems. Among them, how to enforce liveness and fairness for AMS constitutes an important problem. Enforcing liveness avoids the occurrence of deadlock situations to inhibit the emergence of partial or complete blockness for processing jobs in AMS. Fairness requires the determination of a reasonable regulation scheme for orderly resolution such that a desired ratio can be assigned among different processes. This paper proposes an efficient method to design supervisors that enforce both, which is based on the invariance property of Petri nets. A novel approach is proposed to iteratively identify empty siphons as solutions to a set of linear inequalities. Supervisors are then designed to control these siphons. The applicability of the proposed methodology is illustrated through examples. Its comparison with existing works is presented to demonstrate its advantages. © 2011 IEEE.

Identifier

84857506729 (Scopus)

Publication Title

IEEE Transactions on Systems Man and Cybernetics Part A Systems and Humans

External Full Text Location

https://doi.org/10.1109/TSMCA.2011.2162502

ISSN

10834427

First Page

392

Last Page

403

Issue

2

Volume

42

Grant

60773001

Fund Ref

Alexander von Humboldt-Stiftung

This document is currently not available here.

Share

COinS