Please use this identifier to cite or link to this item:

Title: A simple modification of deadlock prevention policy of S3PR based on elementary siphons
Authors: Chao, Yuh Daniel
Contributors: 資管系
Keywords: deadlock control;flexible manufacturing systems;Petri nets;siphons
Date: 2011-02
Issue Date: 2015-04-07 15:21:42 (UTC+8)
Abstract: We propose to extend our proprietary approach of siphon synthesis to a new simple deadlock control policy. To prevent each strict minimal siphon (SMS) S from becoming empty of tokens, we often add a control place VS and associated arcs to form an invariant to control the number of tokens leaking from S. In a disturbanceless approach, the control (called Type-1) arcs are chosen to disturb the original uncontrolled model as little as possible, to reach as many states as possible. However, this policy may generate new SMSs and hence require adding too many control places and arcs to the original Petri net model. Thus, Ezpeleta et al. moved all output (called Type-2) arcs of each VS to the output transition of the entry (called idle place) of input raw materials to limit their rate into the system, called all-sided, or SMSless approach. This may overly constrain the system so that many reachable states are no longer attainable. We hence propose an intermediate, called the one-sided, approach, which does not generate new SMS, based on our siphon-synthesis theory, by appropriately choosing the locations of Type-1 arcs and it can reach more states than the all-sided approach. The same results can be extended to the elementary-siphon approach by Li et al. except with no need to fine-tune the locations of Type-1 arcs. Comparison with other approaches has been made.
Relation: Transactions of the Institute of Measurement and Control, 33(1), 93-115
Data Type: article
DOI 連結:
Appears in Collections:[資訊管理學系] 期刊論文

Files in This Item:

File Description SizeFormat
93-115.pdf288KbAdobe PDF814View/Open

All items in 學術集成 are protected by copyright, with all rights reserved.

社群 sharing