Research of test case generation method based on colored Petri nets
ZHENG Wenyan
Computer Engineering and Applications . 2014, (11): 39 -45 .