Safety Analysis Based on Stochastic Time Petri Nets

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.