Please use this identifier to cite or link to this item:

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 連結:
Appears in Collections:[資訊管理學系] 會議論文

Files in This Item:

File Description SizeFormat

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

社群 sharing