Rail maintenance analysis using Petri nets. Issue 6 (3rd June 2017)