Litherland, Jack, Andrews, John, "A petri net methodology for modelling the maintenance of railway route sections", , 2019