Modeling of railway system maintenance and availability by means of colored Petri nets

Haifeng Song,Eckehard Schnieder
DOI: https://doi.org/10.17531/ein.2018.2.08
2018-01-01
Eksploatacja i Niezawodnosc - Maintenance and Reliability
Abstract:Prognostics and health management (PHM) technologies permit actionable information to enable proper decision-making for improving systems' performance. With the increasing requirements placed on the rail systems' availability, better maintenance decisions should be evaluated before practical application. The aim of this work is to build maintenance models and estimate the performance of considered maintenance decisions regarding the rail system's reliability and availability by means of Colored Petri nets. As a high-level formalization method, Colored Petri nets provide different color sets, which are suitable to represent different maintenance attributions. The maintenance models are evaluated at both the structure and parameterization levels. At the structure level, the structure correctness of the maintenance models is evaluated by using the state space analysis. At the parameterization level, specific maintenance decisions are illustrated. With various maintenance parameters, comparisons of system reliability and availability are made with the results obtained with the Colored Petri nets model.
What problem does this paper attempt to address?