Fecarotti, Claudia, Andrews, John, "A Petri net approach to assess the effects of railway maintenance on track availability", Infrastructure Asset Management, 2020