基于CPN对系统的并发行为进行测试 (Testing Concurrent Behavior of System Based on CPN). - Hua Li; Tao Sun; Xianrong Wang; Yi Xing; Yingjie Li; Xinghang Xia (计算机科学, 2016)