English  |  正體中文  |  简体中文  |  Items with full text/Total items : 28603/40634
Visitors : 4398514      Online Users : 415
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/51124

Title: A Deadlock Prevention Policy Based on Petri Nets and Siphons
Authors: Yisheng Huang
Muder Jeng
Xiaolan Xie
Shengluen Chung
Contributors: 國立臺灣海洋大學電機工程學系
Date: 2001-01
Issue Date: 2018-11-13T03:31:38Z
Publisher: International Journal of Production Research
Abstract: Abstract: This paper presents a deadlock prevention method for a class of flexible manufacturing systems where deadlocks are caused by unmarked siphons in their Petri net models. This method is an iterative approach consisting of two main stages. At each iteration, a fast deadlock detection technique developed by mixed integer programming is used to find an unmarked maximal siphon. An algorithm is formalized that can efficiently obtain an unmarked minimal siphon from the maximal siphon. The first stage, called siphons control, of the proposed method is to add, for each unmarked minimal siphons, a control place to the original net with its output arcs to the sink transitions of the minimal siphon. The objective is to prevent a minimal siphon from being unmarked. The second stage, called augmented siphons control, is to add a control place to the modified net with its output arcs to the source transitions of the resultant net if the resource places are removed. The second stage is required since adding control places in the first stage may create new unmarked siphons. In addition, the second stage assures that there are no new unmarked siphons generated. The relation of the proposed method and the liveness and reversibility of the controlled net have been obtained. Finally, manufacturing examples are presented to illustrate the method and to allow comparison with earlier methods.
Relation: 39(2) pp.283-305
URI: http://ntour.ntou.edu.tw:8080/ir/handle/987654321/51124
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