Performance evaluation of manufacturing systems using GSPN with energy consumption and human resource allocation annotations | IEEE Conference Publication | IEEE Xplore