Prof. Ryszard JanickiMOHAMMED SAAD MOHAMMED ASSIRI2022-05-192022-05-1927153https://drepo.sdl.edu.sa/handle/20.500.14154/13339Modeling Elevator System With Coloured Petri NetsThesis