Chu-Hui Lin, Li-Chen Fu. Petri net based dynamic scheduling of an elevator system. In Proceedings of the 1996 IEEE International Conference on Robotics and Automation, Minneapolis, Minnesota, USA, April 22-28, 1996. pages 192-199, IEEE, 1996. [doi]
Abstract is missing.