Elementary-Siphon-Based Control Policy for Flexible Manufacturing Systems with Partial Observability and Controllability of Transitions

Elementary siphons have been extensively studied to solve deadlock problems in Petri nets. However, most of the existing approaches based on elementary siphons can deal with the Petri nets in which all the transitions are supposed to be controllable and observable. This paper develops an elementary‐...

Full description

Saved in:
Bibliographic Details
Published in:Asian journal of control 2015-01, Vol.17 (1), p.327-342
Main Authors: Qin, Meng, Li, ZhiWu, Al-Ahmari, Abdulrahman M.
Format: Article
Language:English
Subjects:
discrete event system
flexible manufacturing system
Flexible manufacturing systems
Petri net
siphon
uncontrollable and unobservable transition
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Elementary siphons have been extensively studied to solve deadlock problems in Petri nets. However, most of the existing approaches based on elementary siphons can deal with the Petri nets in which all the transitions are supposed to be controllable and observable. This paper develops an elementary‐siphon‐based deadlock control policy for flexible manufacturing systems with uncontrollable and unobservable transitions. For elementary siphons, their complementary sets are successively expanded by considering unobservability and uncontrollability of transitions. Monitors are designed for the expanded complementary sets. The proposed method permits that there are arcs from monitors to a set of special uncontrollable transitions. Moreover, we show that the dependent siphons are always marked in the controlled system that is derived from the proposed method when there exist uncontrollable and unobservable transitions.
ISSN:1561-8625
1934-6093
DOI:10.1002/asjc.859