Sheng, J., & Prescott, D. (2019). A coloured Petri net framework for modelling aircraft fleet maintenance. Reliability Engineering and System Safety, 189, 67-88. https://doi.org/10.1016/j.ress.2019.04.004