Modelling safety of gantry crane operations using Petri nets. Issue 1 (2nd January 2017)