基于随机时间Petri网的安全性分析方法

基于随机时间Petri网的安全性分析方法

彭颖,姚淑珍,谭火彬

Safety Analysis Method Based on Stochastic Time Petri Nets

PENG Ying, YAO Shu-zhen and TAN Huo-bin

计算机科学 . 2016, (11): 61 -65 . DOI: 10.11896/j.issn.1002-137X.2016.11.011