基于PES的Petri网可执行模型生成方法
傅炯, 罗爱民, 罗雪山, 刘俊先
Approach for generating Petri net executable model based on physical exchange specification of architecture
FU Jiong, LUO Aimin, LUO Xueshan, LIU Junxian
系统工程与电子技术
.
2017, (5): 1030
-1035
.
DOI: 10.3969/j.issn.1001-506X.2017.05.13
