Deadlock prevention for a class of petri nets with uncontrollable and unobservable transitions

Document Type

Article

Publication Date

5-1-2012

Abstract

This study deals with deadlock problems in a system with uncontrollable and unobservable events, which is modeled with a subclass of Petri nets. We design monitors to enforce constraints for minimal siphons in a Petri net model. A key point of this paper is how to select the input and output arcs of a monitor when there exist uncontrollable and unobservable transitions. After the enforcement of constraints, an iterative algorithm is developed to obtain a controlled system with liveness. A sufficient and necessary condition is established to decide the existence of a monitor enforcing a constraint in a plant with uncontrollable and unobservable transitions. © 2012 IEEE.

Identifier

84862827034 (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.2169955

ISSN

10834427

First Page

727

Last Page

738

Issue

3

Volume

42

Grant

61034004

Fund Ref

Alexander von Humboldt-Stiftung

This document is currently not available here.

Share

COinS