Slovak, R.; Wegele, S.; May, J.; Schnieder, E.:
Security analysis of human behaviour on level crossings by Stochastic Petri Nets model steady state evaluation.
Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, 2004. 2nd International Workshop on Security Issues with Petri Nets and other Computational Models; Bologna, 26.06.2004.
The paper deals with a formal approach to the security analysis of a level crossing example based on Stochastic Petri nets modelling. It will be shown how the security analysis can be integrated in the PROFUND methodical design concept basing on PROcess, FUNctional and Dependability modelling teking example of a human behaviour of car drivers on a level crossing. Due to the usage of a special class of stochastic Petri nets a qualitative, as well as a quantitative model analysis according to the requirements of CENELEC standards is supported. A special focus is given to the ecaluation method using steady state analysis of a stochastic Petri net model. Presentation of the analysis results shows the influence of the human behaviour and of attributes of the functional design parameters on the resulting opertaional risk value.