dc.contributor | 資管系 | en_US |
dc.creator (作者) | 趙玉 | zh_TW |
dc.creator (作者) | Liu, GuanJun ; Jiang, ChangJun; Chao, Daniel Y. | - |
dc.date (日期) | 2011.01 | en_US |
dc.date.accessioned | 10-Sep-2014 15:43:04 (UTC+8) | - |
dc.date.available | 10-Sep-2014 15:43:04 (UTC+8) | - |
dc.date.issued (上傳時間) | 10-Sep-2014 15:43:04 (UTC+8) | - |
dc.identifier.uri (URI) | http://nccur.lib.nccu.edu.tw/handle/140.119/69726 | - |
dc.description.abstract (摘要) | 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. | en_US |
dc.format.extent | 122 bytes | - |
dc.format.mimetype | text/html | - |
dc.language.iso | en_US | - |
dc.relation (關聯) | Computer Journal Volume 54, Issue 1 pp. 157-163 | en_US |
dc.subject (關鍵詞) | Petri nets ; normal nets ; weakly persistent nets liveness ; structural repetitiveness ; siphons | en_US |
dc.title (題名) | A Necessary and Sufficient Condition for the Liveness of Normal Nets | en_US |
dc.type (資料類型) | article | en |
dc.identifier.doi (DOI) | 10.1093/comjnl/bxp118 | en_US |
dc.doi.uri (DOI) | http://dx.doi.org/10.1093/comjnl/bxp118 | en_US |