基于赋时层次着色Petri网的混杂系统建模与行为分析
李胜昌1, 宋阿妮2, 王明哲1
Modeling and Behavior Analysis of Hybrid System Using Timed Hierarchical CPN
LI Sheng-chang1, SONG A-ni2, WANG Ming-zhe1
应用科学学报 . 2014, (3): 293 -300 .  DOI: 10.3969/j.issn.0255-8297.2014.03.011