Modeling of the Safety and the Performance of Railway Operation via Stochastic Petri Nets
Main Article Content
Abstract
The objective of the paper is to investigate the applicability of stochastic Petri nets for the safety and performance analysis of a railway operation control system. The problem chosen by the applied reference case study is a decentralized radio-based control system for a railway level crossing, where a single track railway line and a road are crossing each other. A model was created, using the PROFUND methodical concept, integrating the operational PROcess, system FUNctionality and Dependability