Please use this identifier to cite or link to this item:
https://ah.lib.nccu.edu.tw/handle/140.119/78972| DC Field | Value | Language |
|---|---|---|
| dc.contributor | 資管系 | - |
| dc.creator | Chao, Daniel Yuh;Chen, Jiun-Ting | - |
| dc.creator | 趙玉 | - |
| dc.date | 2011 | - |
| dc.date.accessioned | 2015-10-15T08:07:25Z | - |
| dc.date.available | 2015-10-15T08:07:25Z | - |
| dc.date.issued | 2015-10-15T08:07:25Z | - |
| dc.identifier.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 | 10.1109/CSAE.2011.5952651 | - |
| dc.doi.uri | http://dx.doi.org/10.1109/CSAE.2011.5952651 | - |
| item.grantfulltext | restricted | - |
| item.openairetype | conference | - |
| item.fulltext | With Fulltext | - |
| item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
| item.cerifentitytype | Publications | - |
| 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.