Timed Petri net based approach for elevator group controls | IEEE Conference Publication | IEEE Xplore