Please use this identifier to cite or link to this item:
https://ah.lib.nccu.edu.tw/handle/140.119/61554
題名: | Weighted Characteristic P-vector and Deadlock Control of WS3PR | 作者: | 趙玉 CHAO,DANIEL YUH |
貢獻者: | 資管系 | 關鍵詞: | flexible manufacturing systems;deadlock control;Petri nets;siphons;elementary siphons | 日期: | 2010 | 上傳時間: | 11-Nov-2013 | 摘要: | Current deadlock control approaches for S^3PGR^2 (systems of simple sequential processes with general resources requirement) suffer from incorrect or restricted liveness characterization based on the concept of deadly marked siphons (DMS) and max-controlled siphons. Dead transitions may exist when there are no DMS and the net model is in livelock states. A new liveness condition is developed based on the so-called max^*-controlled siphons to replace that of the restrictive max-controlled siphons. A deadlock control policy is further proposed for WS^3PR (weighted S^3PR (systems of simple sequential processes with resources)) by adding control nodes and arcs for elementary siphons only, reducing significantly the number of monitors compared with existing methods. A counter example is shown to indicate that Li`s characteristic P-vector must be weighted. The controlled model for WS^3PR is proposed and its liveness property is proved. | 關聯: | Journal of Information Science and Engineering, 26(3), 1121-1136 | 資料類型: | article |
Appears in Collections: | 期刊論文 |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
11211136.pdf | 324.87 kB | Adobe PDF2 | View/Open |
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.