基于Petri网的形式化安全分析方法*
余敬芝, 燕飞, 牛儒
Formal safety analysis method based on Petri net
YU Jingzhi, YAN Fei, NIU Ru
中国安全科学学报 . 2019, (S2): 138 -143 .  DOI: 10.16265/j.cnki.issn1003-3033.2019.S2.023

京公网安备 11010502045206号 京ICP备17070548号-2
版权所有 © 《中国安全科学学报》编辑部
地址：北京市朝阳区惠新西街17号科研大厦202　邮编：100029
电话：010-64464782，64464783　 Email：csstlp@263.net
本系统由北京玛格泰克科技发展有限公司设计开发　技术支持：support@magtech.com.cn
京公网安备 11010502045206号