Title :
Analysis and Modeling of the Elevator System Based on Colored Cyber Net
Author :
Tang, Ming-Wei ; Song, Wen ; Hu, Jie
Author_Institution :
Sch. of Math. & Comput. Sci. Technol., Xihua Univ., Chengdu, China
Abstract :
The elevator system model based on colored net is given in. However, "node explosion" is still unresolved well. Since the model is so complicated that is not completly to simulate model of elevator. Through analyzing the demand of elevator system, this paper presents a colored cyber net with a colored inhibitor arc. The elevator system model based on the colored cyber net is proposed.
Keywords :
Petri nets; control system analysis; graph colouring; lifts; colored cyber net; colored inhibitor arc; control system analysis; elevator control system model; node explosion; Computer science; Elevators; Explosions; Inhibitors; Mathematics; Modeling; Software engineering; Analysis; Colored Cyber Net; Elevator System; Modeling; Petri Net;
Conference_Titel :
Software Engineering, 2009. WCSE '09. WRI World Congress on
Conference_Location :
Xiamen
Print_ISBN :
978-0-7695-3570-8
DOI :
10.1109/WCSE.2009.302
