Please use this identifier to cite or link to this item:
https://ah.lib.nccu.edu.tw/handle/140.119/69726
題名: | A Necessary and Sufficient Condition for the Liveness of Normal Nets | 作者: | 趙玉 Liu, GuanJun ; Jiang, ChangJun; Chao, Daniel Y. |
貢獻者: | 資管系 | 關鍵詞: | Petri nets ; normal nets ; weakly persistent nets liveness ; structural repetitiveness ; siphons | 日期: | 2011 | 上傳時間: | 10-Sep-2014 | 摘要: | This paper gives a necessary and sufficient condition for the liveness of normal nets, i.e. a normal net with a given initial marking is live if and only if it is structurally repetitive and each minimal siphon is marked in any reachable marking. Furthermore, it is proved that a normal net is structurally live if and only if it is structurally repetitive. Finally, we prove that a weakly persistent net, which is a special normal net, is live for a given initial marking if and only if it is structurally repetitive and each minimal siphon is marked in the initial marking. That is to say, the liveness of weakly persistent nets can be decided by the net structure and the initial marking only. | 關聯: | Computer Journal Volume 54, Issue 1 pp. 157-163 | 資料類型: | article | DOI: | http://dx.doi.org/10.1093/comjnl/bxp118 |
Appears in Collections: | 期刊論文 |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
index.html | 122 B | HTML2 | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.