學術產出-Periodical Articles

Article View/Open

Publication Export

Google ScholarTM

政大圖書館

Citation Infomation

題名 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.01
上傳時間 10-Sep-2014 15:43:04 (UTC+8)
摘要 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
dc.contributor 資管系en_US
dc.creator (作者) 趙玉zh_TW
dc.creator (作者) Liu, GuanJun ; Jiang, ChangJun; Chao, Daniel Y.-
dc.date (日期) 2011.01en_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-163en_US
dc.subject (關鍵詞) Petri nets ; normal nets ; weakly persistent nets liveness ; structural repetitiveness ; siphonsen_US
dc.title (題名) A Necessary and Sufficient Condition for the Liveness of Normal Netsen_US
dc.type (資料類型) articleen
dc.identifier.doi (DOI) 10.1093/comjnl/bxp118en_US
dc.doi.uri (DOI) http://dx.doi.org/10.1093/comjnl/bxp118en_US