dc.contributor | 資管系 | - |
dc.creator (作者) | Chao, Daniel Yuh;Chen, Jiun-Ting | - |
dc.creator (作者) | 趙玉 | - |
dc.date (日期) | 2011 | - |
dc.date.accessioned | 15-Oct-2015 16:07:25 (UTC+8) | - |
dc.date.available | 15-Oct-2015 16:07:25 (UTC+8) | - |
dc.date.issued (上傳時間) | 15-Oct-2015 16:07:25 (UTC+8) | - |
dc.identifier.uri (URI) | http://nccur.lib.nccu.edu.tw/handle/140.119/78972 | - |
dc.description.abstract (摘要) | It has been a hot research topic to find the sufficient and necessary condition of liveness for S3PGR2 (systems of simple sequential processes with general resources requirement) modeled by general Petri nets (GPN). This paper proposes a solution. | - |
dc.format.extent | 130 bytes | - |
dc.format.mimetype | text/html | - |
dc.relation (關聯) | Computer Science and Automation Engineering (CSAE), 2011 IEEE International Conference on (Volume:3 ) Page(s):137 - 141 | - |
dc.title (題名) | A new liveness characterization for S3PGR2 | - |
dc.type (資料類型) | conference | en |
dc.identifier.doi (DOI) | 10.1109/CSAE.2011.5952651 | - |
dc.doi.uri (DOI) | http://dx.doi.org/10.1109/CSAE.2011.5952651 | - |