Petri net model for energy sparing in railway traffic | IEEE Conference Publication | IEEE Xplore