Sheng, Jingyu, Prescott, Darren, "A coloured Petri net framework for modelling aircraft fleet maintenance", Reliability Engineering & System Safety, 2019