Dynamic Scheduling of Elevator System Over Hybrid Petri Net 1 Rule Modeling. - Yan-Hau Huang; Li-Chen Fu (ICRA, 1998)