Please use this identifier to cite or link to this item:
https://ah.lib.nccu.edu.tw/handle/140.119/78920
題名: | A new liveness characterization for S 3PGR 2 | 作者: | Chao, Daniel Yuh;Chen, Jiun-Ting 趙玉;陳俊廷 |
貢獻者: | 資管系 | 關鍵詞: | deadlocks; General Petri nets; Hot research topics; Liveness; Sequential process; Sufficient and necessary condition; Synchronized choice nets; weakly live; Computer science; Petri nets | 日期: | 六月-2011 | 上傳時間: | 8-十月-2015 | 摘要: | It has been a hot research topic to find the sufficient and necessary condition of liveness for S 3PGR 2 (systems of simple sequential processes with general resources requirement) modeled by general Petri nets (GPN). This paper proposes a solution. © 2011 IEEE. | 關聯: | Proceedings - 2011 IEEE International Conference on Computer Science and Automation Engineering, CSAE 2011,3,論文編號 5952651, 137-141 | 資料類型: | conference | DOI: | http://dx.doi.org/10.1109/CSAE.2011.5952651 |
Appears in Collections: | 會議論文 |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
index.html | 176 B | HTML2 | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.