Please use this identifier to cite or link to this item:
https://ah.lib.nccu.edu.tw/handle/140.119/78972
題名: | A new liveness characterization for S3PGR2 | 作者: | Chao, Daniel Yuh;Chen, Jiun-Ting 趙玉 |
貢獻者: | 資管系 | 日期: | 2011 | 上傳時間: | 15-Oct-2015 | 摘要: | 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. | 關聯: | Computer Science and Automation Engineering (CSAE), 2011 IEEE International Conference on (Volume:3 ) Page(s):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 | 130 B | HTML2 | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.