Analysis and Modeling of the Elevator System Based on Colored Cyber Net | IEEE Conference Publication | IEEE Xplore