Petri Net Modelling for Energy Efficiency Improvement of a Ship | IEEE Conference Publication | IEEE Xplore