@inproceedings{17a38ed225494e118b4cbec4d9e2474b,
title = "Safety analysis based on stochastic Time Petri Nets",
abstract = "After analyzing the shortcomings of current researches combining Petri Net with safety analysis, this paper proposed a system safety analysis method based on stochastic Time Petri Nets. System model built by stochastic Time Petri Nets is neither limited to exponential and deterministic transitions nor to enabling restriction for generally distributed transitions. Steady-State Safety and path based safety measurements can be calculated through generating stochastic state classes graph, transient analysis and Markov theory. Finally, an application example is given to show the usability and reasonability of the method.",
keywords = "Safety analysis, Sochastic time petri nets, Steadystate safety, Transient analysis",
author = "Ying Peng and Yao, \{Shu Zhen\} and Tan, \{Huo Bin\}",
note = "Publisher Copyright: {\textcopyright} 2015 IEEE.; 2015 International Conference on Computer Science and Applications, CSA 2015 ; Conference date: 20-11-2015 Through 22-11-2015",
year = "2017",
month = jan,
day = "6",
doi = "10.1109/CSA.2015.20",
language = "英语",
series = "2015 International Conference on Computer Science and Applications, CSA 2015",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "287--292",
booktitle = "2015 International Conference on Computer Science and Applications, CSA 2015",
address = "美国",
}