Sheng, J., & Prescott, D. (2017). A hierarchical coloured Petri net model of fleet maintenance with cannibalisation. Reliability Engineering and System Safety, 168, https://doi.org/10.1016/j.ress.2017.05.043