Slovak, R.; Drewes, J.; Schnieder, E.:
Safety Requirements Parameter Derivation for Level Crossing Control Systems in Consideration of Traffic Dynamics using Stochastic Petri Nets.
Proceedings of the 8th International Level Crossing Symposium - CD-ROM, April 2004. 8th International Level Crossing Symposium/Sheffield, 14. - 15.04.2004.


This paper presents a formal approach to modelling of traffic operational processes on a level crossing example using Stochastic Petri Nets. It shows a process model which builds a base for future risk basek design of a level crossing control system. Further it is shown how dependability parameter of the level crossing control system according to the attributes of the expected densities of road and rail traffic can be derived in order to fulfil the dafety requirements of the CENLEC standards.