一种基于离散事件系统规范的复杂产品行为模型描述方法
林清泉, 杨佳然, 张和明
A DEVS-based Formal Description Method for Complex Product Behavior Models
Qingquan Lin, Jiaran Yang, Heming Zhang
系统仿真学报 . 2022, (4): 661 -669 .  DOI: 10.16182/j.issn1004731x.joss.21-1318