年度	2011
全部作者	董兰荣
论文名称	Tsung-Hsi Chiang, Lan-Rong Dung and Ming-Feng Yaung, 2005, May “Modeling and Formal Verification of Dataflow Graph in System-Level Design Using Petri net,” ISCAS 2005 (NSC 93-2220-E-009-023-)
发表日期	2011-07-26