Generation and analysis of test cases based on Petri nets
LIN Hong-chang,HU Jue-liang,DING Zuo-hua
Computer Engineering and Applications . 2009, (17): 57 -60 .  DOI: 10.3778/j.issn.1002-8331.2009.17.018