Petri net based dynamic scheduling of an elevator system | IEEE Conference Publication | IEEE Xplore