Deadlock Prevention for a Class of Petri Nets With Uncontrollable and Unobservable Transitions

Author

Qin, Meng ; Li, ZhiWu ; Zhou, MengChu ; Khalgui, Mohamed ; Mosbahi, Olfa

Author_Institution

Sch. of Electro-Mech. Eng., Xidian Univ., Xi´´an, China

Volume

42

Issue

3

fYear

2012

fDate

5/1/2012 12:00:00 AM

Firstpage

727

Lastpage

738

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.

Keywords

Petri nets; directed graphs; discrete event systems; finite state machines; flexible manufacturing systems; iterative methods; Petri net model; constraint enforcement; deadlock prevention; deadlock problem; iterative algorithm; minimal siphons; sufficient and necessary condition; uncontrollable transition; unobservable transition; Educational institutions; Law; Monitoring; Petri nets; System recovery; TV; Discrete event system; Petri net; flexible manufacturing system (FMS); liveness constraint; siphon; uncontrollable and unobservable transition;

fLanguage

English

Journal_Title

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

Publisher

ieee

ISSN

1083-4427

Type

jour

DOI

10.1109/TSMCA.2011.2169955

Filename

6135815