Petri net based dynamic scheduling of an elevator system. - Chu-Hui Lin; Li-Chen Fu (ICRA, 1996)