Petri Net based Multi-Elevator System with FAKHIR, Muhammad Ilyas
1