An efficient liveness enforcing supervisor for FMSs based on Petri nets and the theory of regions

This paper presents an efficient method to obtain a maximally permissive deadlock prevention policy for a flexible manufacturing system based on theory of regions. The theory of regions policy can provides an optimal deadlock prevention controller which is based on the reachability graph. However, i...

Full description

Saved in:
Bibliographic Details
Main Authors: Yi-Sheng Huang, Yen-Liang Pan, Mu-Der Jeng
Format: Conference Proceeding
Language:English
Subjects:
Cities and towns
Cybernetics
deadlock prevention
Electronic mail
Explosions
Flexible manufacturing systems
Oceans
Optimal control
Petri nets
System recovery
theory of regions
USA Councils
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This paper presents an efficient method to obtain a maximally permissive deadlock prevention policy for a flexible manufacturing system based on theory of regions. The theory of regions policy can provides an optimal deadlock prevention controller which is based on the reachability graph. However, its disadvantage is the state explosion problem since all marking/transition-separation instances (MTSIs) have to be identified. For improving the shortcoming, this paper proposes a new concept of the crucial marking/transition-separation instances (CMTSIs). Experimental results indicate that the proposed control policy in this paper is more efficient than the closely related approaches in the literature.
ISSN:1062-922X
2577-1655
DOI:10.1109/ICSMC.2009.5346581