带有同步变迁的有界Petri网系统的建模及可达性分析

高娜，韩晓光，陈增强，张青

MODELING AND REACHABILITY ANALYSIS OF BOUNDED PETRI NETS WITH SYNCHRONIZING TRANSITION

GAO Na,HAN Xiaoguang,CHEN Zengqiang,ZHANG Qing

系统科学与数学 . 2016, (7): 924 -936 . DOI: 10.12341/jssms12818