[1] WANG Yatao.Research on vulnerability of urban rail transit signal system based on Petri net[D].Beijing:Beijing Jiaotong University,2016.(in Chinese)王亚涛.基于Petri网的城市轨道交通信号系统脆弱性研究[D].北京:北京交通大学,2016. [2] LI Shaoyong,SUN Zhidong,CAI Ying,et al.Deadlock control policy using control transitions for flexible manufacturing systems[J].Control Theory & Applications,2019,36(5):795-802.(in Chinese)李绍勇,孙智冬,蔡颖,等.应用控制变迁的柔性制造系统死锁控制策略[J].控制理论与应用,2019,36(5):795-802. [3] ZHU Danjiang,TAN Huobin,YAO Shuzhen.Petri nets-based method to elicit component-interaction related safety requirements in safety-critical systems[J].Computers & Electrical Engineering,2018,71:162-172. [4] LI Chen,HUANG Linpeng,CHEN Luxi.Breeze graph grammar:a graph grammar approach for modeling the soft-ware architecture of big data-oriented software systems[J].Software-Practice and Experience,2015,45(8):1023-1050. [5] ZENG Qingtian,LU Faming,LIU Cong,et al.Modeling and verification for cross-department collaborative business processes using extended Petri nets[J].IEEE Transactions on Systems Man Cybernetics-Systems,2015,45(2):349-362. [6] HU Qiang,REN Zhikao,ZHAO Zhen,et al.Study on structure evolution for service processes base on logic Petri net[J].Journal of Software,2018,29(9):2697-2715.(in Chinese)胡强,任志考,赵振,等.基于逻辑Petri网的服务流程结构演化研究[J].软件学报,2018,29(9):2697-2715. [7] DING Zhijun,QIU Haojie,YANG Ru,et al.Interactive-control-model for human-computer interactive system based on Petri nets[J].IEEE Transactions on Automation Science and Engineering,2019,16(4):1800-1813. [8] DU Yuyue,GAI Junjing,ZHOU Mengchu.A Web service substitution method based on service cluster nets[J].Enterprise Information Systems,2017,11(10):1535-1551. [9] HU Tao,MA Chenhui,ZHOU Xiaoliuting,et al.Fault diagnosis method for complex aerospace systems based on weighted fuzzy Petri net[J].Computer Integrated Manufacturing Systems,2019,25(10):2580-2586.(in Chinese)胡涛,马晨辉,周晓柳婷,等.航天复杂系统的加权模糊Petri网故障诊断建模[J].计算机集成制造系统,2019,25(10):2580-2586. [10] FANG Huan,LU Yang,HUANG Zhenjin,et al.Synchroni-zation distance determination and synchronization con-troller design for hybrid Petri nets[J].Control Theory & Applications,2012,29(7):884-892.(in Chinese)方欢,陆阳,黄镇谨,等.混杂Petri网系统中同步距离的确定及同步控制器的设计[J].控制理论与应用,2012,29(7):884-892. [11] MA Ziyue,TONG Yin.Supervisor synthesis in Petri nets based on basis marking graphs[J].Journal of Xidian University (Natural Science),2016,43(6):68-73.(in Chinese)马子玥,童音.采用基本标识图的Petri网控制策略[J].西安电子科技大学学报(自然科学版),2016,43(6):68-73. [12] GIUA A,SEATZU C,CORONA D.Marking estimation of Petri nets with silent transitions[J].IEEE Transactions on Automatic Control,2007,52(9):1695-1699. [13] RU Y,HADJICOSTIS C N.Bounds on the number of markings consistent with label observations in petri nets[J].IEEE Transactions on Automation Science and Engineering,2009,6(2):334-344. [14] LI L X,HADJICOSTIS C.Minimum initial marking estimation in labeled Petri nets[J].IEEE Transactions on Automatic Control,2013,58(1):198-203. [15] RUAN Keyu,LI Lingxi,WU Weimin.Minimum initial marking estimation in labeled Petri nets with unobservable transitions[J].IEEE Access,2019,7:19232-19237. [16] LI L X,HADJICOSTIS C.Least-cost transition firing sequence estimation in labeled Petri nets with unobservable transitions[J].IEEE Transactions on Automation Science and Engineering,2011,8(2):394-403. [17] YUE Hao,XU Shulin,ZHOU Guangrui,et al.Estimation of least-cost transition firing sequences in labeled Petri nets by using basis reachability graph[J].IEEE Access,2019,7:165387-165398. [18] LIU Guanjun,JIANG Changjun.Observable liveness of Petri nets with controllable and observable transitions[J].Science China-Information Sciences,2017,60(11):256-264. [19] HE Jun,ZHANG Yunfei,ZHANG Dehai.Automatic combination and detection of data cleaning rule chains based on Petri net[J].Computer Engineering,2020,46(11):124-131.(in Chinese)何俊,张云飞,张德海.基于Petri网的数据清洗规则链自动组合与检测[J].计算机工程,2020,46(11):124-131. [20] WANG Shouguang,YOU Dan,ZHOU Mengchu.New reachability trees for analyzing unbounded Petri nets with semilinear reachability sets[J].Science China-Information Sciences,2018,61(12):1-3. |