Title: Modeling Elevator System with Coloured Petri Nets