Please use this identifier to cite or link to this item: https://ah.nccu.edu.tw/handle/140.119/78972


Title: A new liveness characterization for S3PGR2
Authors: Chao, Daniel Yuh;Chen, Jiun-Ting
趙玉
Contributors: 資管系
Date: 2011
Issue Date: 2015-10-15 16:07:25 (UTC+8)
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.
Relation: Computer Science and Automation Engineering (CSAE), 2011 IEEE International Conference on (Volume:3 ) Page(s):137 - 141
Data Type: conference
DOI 連結: http://dx.doi.org/10.1109/CSAE.2011.5952651
Appears in Collections:[資訊管理學系] 會議論文

Files in This Item:

File Description SizeFormat
index.html0KbHTML1295View/Open


All items in 學術集成 are protected by copyright, with all rights reserved.


社群 sharing