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 (14):
1.
Evaluating Fault Tree by means of Colored Petri nets to analyze the railway system dependability
Haifeng Song, Eckehard Schnieder
Safety Science
Haifeng Song, Eckehard Schnieder
Safety Science
2.
Machine Learning Ensembles and Rail Defects Prediction: Multilayer Stacking Methodology
Ahmed Lasisi, Nii Attoh-Okine
ASCE-ASME Journal of Risk and Uncertainty in Engineering Systems, Part A: Civil Engineering
Ahmed Lasisi, Nii Attoh-Okine
ASCE-ASME Journal of Risk and Uncertainty in Engineering Systems, Part A: Civil Engineering
3.
Development and Evaluation Procedure of the Train-Centric Communication-Based System
Haifeng Song, Eckehard Schnieder
IEEE Transactions on Vehicular Technology
Haifeng Song, Eckehard Schnieder
IEEE Transactions on Vehicular Technology
4.
MATHEMATICAL MODELLING AS AN ELEMENT OF PLANNING RAIL TRANSPORT STRATEGIES
Anna Borucka, Dariusz Mazurkiewicz, Eliza Łagowska
Transport
Anna Borucka, Dariusz Mazurkiewicz, Eliza Łagowska
Transport
5.
A multi-event combination maintenance model based on event correlation
Chunhui Guo, Chuan Lyu, Jiayu Chen, Dong Zhou, Zhaoqing Pan
PLOS ONE
Chunhui Guo, Chuan Lyu, Jiayu Chen, Dong Zhou, Zhaoqing Pan
PLOS ONE
6.
Reliability analysis for complex systems based on generalized stochastic petri nets and EDA approach considering common cause failure
Yining Zeng, Rongxing Duan, Shujuan Huang, Tao Feng
Engineering Computations
Yining Zeng, Rongxing Duan, Shujuan Huang, Tao Feng
Engineering Computations
7.
Usefulness of quantifying effects on rail service when comparing intervention strategies
Natalia Papathanasiou, Bryan Adey
Infrastructure Asset Management
Natalia Papathanasiou, Bryan Adey
Infrastructure Asset Management
8.
Performance Analysis of a Train-to-Train Communication System using Colored Petri nets
Haifeng Song
2018 International Conference on Intelligent Rail Transportation (ICIRT)
Haifeng Song
2018 International Conference on Intelligent Rail Transportation (ICIRT)
9.
Availability and Performance Analysis of Train-to-Train Data Communication System
Haifeng Song, Eckehard Schnieder
IEEE Transactions on Intelligent Transportation Systems
Haifeng Song, Eckehard Schnieder
IEEE Transactions on Intelligent Transportation Systems
10.
Leveraging Applications of Formal Methods, Verification and Validation. Practice
Alessandro Fantechi, Stefania Gnesi, Gloria Gori
Alessandro Fantechi, Stefania Gnesi, Gloria Gori
11.
Availability analysis of an offshore oil and gas production system subjected to age-based preventive maintenance by Petri Nets
Eduard Lotovskyi, Angelo Teixeira, Guedes Soares
Eksploatacja i Niezawodność – Maintenance and Reliability
Eduard Lotovskyi, Angelo Teixeira, Guedes Soares
Eksploatacja i Niezawodność – Maintenance and Reliability
12.
A model of an adaptive strategy of preventive maintenance of complex technical objects
Stanisław Młynarski, Robert Pilch, Maksymilian Smolnik, Jan Szybka, Grzegorz Wiązania
Eksploatacja i Niezawodność – Maintenance and Reliability
Stanisław Młynarski, Robert Pilch, Maksymilian Smolnik, Jan Szybka, Grzegorz Wiązania
Eksploatacja i Niezawodność – Maintenance and Reliability
13.
Configuration of the Geometric State of Railway Tracks in the Sustainability Development of Electrified Traction Systems
Arkadiusz Kampczyk, Katarzyna Rombalska
Sensors
Arkadiusz Kampczyk, Katarzyna Rombalska
Sensors
14.
A New Movement Authority Based on Vehicle‐Centric Communication
Tuo Shen, Haifeng Song, Li Zhu
Wireless Communications and Mobile Computing
Tuo Shen, Haifeng Song, Li Zhu
Wireless Communications and Mobile Computing
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.
