年度	2011
全部作者	董兰荣
论文名称	Tsung-Hsi Chiang and Lan-Rong Dung, 2005, August, “System-Level Verification of Dataflow Graph Using Petri net model,” the 16th VLSI Design/CAD Symposium
发表日期	2011-07-26