年度	2001
全部作者	趙玉
論文名稱	趙玉;Jose A. Nicdao, 2001, 'Liveness for Synchronized Choice Petri Nets, ' Computer Journal, Vol.44, No.1, pp.124-136.(SCIE)
卷數	148258
參考連結	http://nccur.lib.nccu.edu.tw/handle/140.119/27352