Approach for generating Petri net executable model based on physical exchange specification of architecture
FU Jiong, LUO Aimin, LUO Xueshan, LIU Junxian
Systems Engineering and Electronics . 2017, (5): 1030 -1035 .  DOI: 10.3969/j.issn.1001-506X.2017.05.13