Modeling and formal analysis of level transition based on colored Petri nets
DONG Jian, DAI Shenghua
Computer Engineering and Applications . 2018, (2): 208 -213 .  DOI: 10.3778/j.issn.1002-8331.1607-0240