Sheng, J., & Prescott, D. (2015). Using coloured Petri nets to investigate fleet cannibalisation. International Journal of Comadem, 18(2),