Slovak, R.; May, J.; Tomasov, P.; Schnieder, E.:
Approach to the Quantitative Risk Analysis of a Level Crossing Traffic Process by Means of Stochastic Petri Nets.
Tagungsband der "Transport" 2002, Sofia, Bulgarien, November 2002. Transport 2002/ Sofia, Bulgarien, 14.-15.11.2002.


This paper presents a formal approach to modelling traffic operational process based on Stochastic Petri Nets. It shows a process model which should build a base for future risk based design of a railway operation control system. Due to the usage of a special class of stochastic Petri Nets a qualitative, as well as a quantitative quality assurance of attributes required by CENELEC standards is supported.