基于CPN的列控系统等级转换建模与分析

董健，戴胜华

Modeling and formal analysis of level transition based on colored Petri nets

DONG Jian, DAI Shenghua

计算机工程与应用 . 2018, (2): 208 -213 . DOI: 10.3778/j.issn.1002-8331.1607-0240