English  |  正體中文  |  简体中文  |  Items with full text/Total items : 28611/40649
Visitors : 613288      Online Users : 76
RC Version 4.0 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.
Scope Adv. Search

Please use this identifier to cite or link to this item: http://ntour.ntou.edu.tw:8080/ir/handle/987654321/38106

Title: An efficient deadlock prevention policy for FMSs using reduction method and theory of regions
Authors: Yen-Liang Pan
Yi-Sheng Huang
Mu-Der Jeng
Contributors: 國立臺灣海洋大學:電機工程學系
Keywords: synchronisation
Petri nets
flexible manufacturing systems
reachability analysis
Date: 2011
Issue Date: 2016-08-04T01:55:17Z
Publisher: Systems, Man, and Cybernetics
Abstract: Abstract: Petri nets have been recognized as one of the most powerful tools for modeling FMSs. The reason is that PNs are suited well to represent FMS characteristics such as present relations, concurrence, conflict and synchronization. On the other hand, it is well known that the marking/transition-separation instances (MTSIs) method with the theory of regions has been recognized as the best (i.e. maximally permissive) policy in deadlock problems. However, its major shortcoming is the state explosion and redundant inequalities problem since the reachability graph of a plant model has to be generated when one wants to find all MTSIs. For improving these drawbacks, this paper uses the reduction method and proposes a novel concept of the crucial marking/transition-separation instances (CMTSI) which is the key of MTSIs based on Petri nets and the theory of regions. According to our experimental results, our deadlock prevention policy is more efficient in existing literatures based on the theory of regions.
URI: http://ntour.ntou.edu.tw:8080/ir/handle/987654321/38106
Appears in Collections:[電機工程學系] 期刊論文

Files in This Item:

File Description SizeFormat

All items in NTOUR are protected by copyright, with all rights reserved.


著作權政策宣告: 本網站之內容為國立臺灣海洋大學所收錄之機構典藏,無償提供學術研究與公眾教育等公益性使用,請合理使用本網站之內容,以尊重著作權人之權益。
網站維護: 海大圖資處 圖書系統組
DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library IR team Copyright ©   - Feedback