Enhancement of an deadlock prevention policy for FMSs using theory of regions

The theory of regions has been recognized as the best control policy for obtaining a maximally permissive controller in existing literature. All legal and live maximal behavior of the Petri nets model can be held by using the marking/transition-separation instance (MTSI) method. It has been establis...

Full description

Saved in:
Bibliographic Details
Main Authors: Yi-Sheng Huang, Yen-Liang Pan, Mu-Der Jeng, Po-Lun Chang
Format: Conference Proceeding
Language:English
Subjects:
deadlock prevention
Equations
Petri nets
theory of regions
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The theory of regions has been recognized as the best control policy for obtaining a maximally permissive controller in existing literature. All legal and live maximal behavior of the Petri nets model can be held by using the marking/transition-separation instance (MTSI) method. It has been established that the requirement of all sets of MTSIs is a problem in conventional studies stems from time consuming. However, the new crucial marking/transition-separation instance (CMTSIs) allows designers to employ few MTSIs to deal with system deadlocks. The advantage of the proposed policy is that the computational cost can be reduced due to few MTSIs involved in. The paper unveils a maximally permissive controller with the efficient computation can be obtained by our control policy. Experimental results, by varying the markings of given net structures, indicate that the CMTSI method is the most efficient policy among the close related approaches in existing literature.
ISSN:1062-922X
2577-1655
DOI:10.1109/ICSMC.2010.5641670