In: 8th International Level Crossing Symposium, University of Sheffield, Rail Safety & Standards Board. April 2004.
Abstract: 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 based 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 safety requirements of the CENELEC standards
Keywords: Risk analysis; Safety and Availability analysis; Stochastic Petri Nets; Level crossing; Traffic process modelling.