For the most recent entries see the Petri Nets Newsletter.

Safety Requirements Parameter Derivation for Level Crossing Control Systems in Consideration of Traffic Dynamics using Stochastic Petri Nets.

Slovák, R.; Drewes, J.; Schnieder, E.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography