RESEARCH PAPER
Modeling of railway system maintenance and availability by means of Colored Petri nets
1
Institute for Traffic Safety and Automation Engineering, Braunschweig Technische Universität Braunschweig Hermann-Blenk-Straße 42 38108 Braunschweig, Germany
Publication date: 2018-06-30
Eksploatacja i Niezawodność – Maintenance and Reliability 2018;20(2):236-243
KEYWORDS
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.
REFERENCES (17)
1.
Antoni M, Ammad N. Formal validation method and tools for Frenchcomputerized railway interlocking systems, 2008: 99-106.
2.
Bertsche B. Reliability in automotive and mechanical engineering: determination of component and system reliability. Springer Science & Business Media, 2008.
4.
Dersin P, Valenzuela R C. Application of non-Markovian stochastic Petri nets to the modeling of rail system maintenance and availability, Simulation Conference (WSC), Proceedings of the 2012 Winter. IEEE, 2012: 1-12.
5.
Garmabaki A H S, Ahmadi A, Ahmadi M. Maintenance optimization using multi-attribute utility theory. Current Trends in Reliability, Availability, Maintainability and Safety. Springer, Cham 2016: 13-25, https://doi.org/10.1007/978-3-....
6.
Jensen K, Kristensen L M. Coloured Petri nets: modelling and validation of concurrent systems. Springer Science & Business Media, 2009, https://doi.org/10.1007/b95112.
7.
Katukoori V K. Standardizing availability definition. University of New Orleans, New Orleans, La., USA, 1995.
8.
Kowalski M, Magott J, Nowakowski T, et al. Analysis of transportation system with the use of Petri nets. Eksploatacja i Niezawodnosc - Maintenance and Reliability 2011: 48-62.
9.
Macchi M, Garetti M, Centrone D, et al. Maintenance management of railway infrastructures based on reliability analysis. Reliability Engineering & System Safety 2012, 104: 71-83, https://doi.org/10.1016/j.ress....
10.
Meier-Hirmer C, Riboulet G, Sourget F, et al. Maintenance optimization for a system with a gamma deterioration process and intervention delay: application to track maintenance. Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability 2009, 223(3): 189-198, https://doi.org/10.1243/174800....
11.
Miyagi P E, Riascos L A M. Modeling and analysis of fault-tolerant systems for machining operations based on Petri nets. Control Engineering Practice 2006, 14(4): 397-408, https://doi.org/10.1016/j.cone....
12.
Morant A, Gustafson A, Söderholm P. Safety and availability evaluation of railway signalling systems, Current Trends in Reliability, Availability, Maintainability and Safety. Springer International Publishing 2016: 303-316, https://doi.org/10.1007/978-3-....
13.
Quiroga L, Slovak R, Wegele S, et al. Petri nets based simulation and optimisation of railway maintenance processes. FORMS/FORMAT, 2008.
14.
Song H, Liu J, Schnieder E. Validation, verification and evaluation of a Train to Train Distance Measurement System by means of Colored Petri Nets. Reliability Engineering & System Safety 2017, 164: 10-23, https://doi.org/10.1016/j.ress....
15.
Schnieder E, Schnieder L, Müller J R. Conceptual foundation of dependable systems modelling[J]. IFAC Proceedings Volumes 2009, 42(5): 198-202, https://doi.org/10.3182/200906....
16.
Zhao L, Thulasiraman K, Ge X, et al. Failure Propagation Modeling and Analysis via System Interfaces. Mathematical Problems in Engineering 2016, 2016.
17.
Zhang T, Cheng Z, Liu Y, et al. Maintenance scheduling for multi-unit system: a stochastic Petri-net and genetic algorithm based approach. Eksploatacja I Niezawodnosc- Maintenance and Reliability 2012 (3): 256-264.
CITATIONS (13):
Share
RELATED ARTICLE
| eISSN: | 2956-3860 |
| ISSN: | 1507-2711 |
We process personal data collected when visiting the website. The function of obtaining information about users and their behavior is carried out by voluntarily entered information in forms and saving cookies in end devices. Data, including cookies, are used to provide services, improve the user experience and to analyze the traffic in accordance with the Privacy policy. Data are also collected and processed by Google Analytics tool (more).
You can change cookies settings in your browser. Restricted use of cookies in the browser configuration may affect some functionalities of the website.
You can change cookies settings in your browser. Restricted use of cookies in the browser configuration may affect some functionalities of the website.
