• DocumentCode
    503852
  • 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
  • Volume
    3
  • fYear
    2009
  • fDate
    19-21 May 2009
  • Firstpage
    167
  • Lastpage
    170
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering, 2009. WCSE '09. WRI World Congress on
  • Conference_Location
    Xiamen
  • Print_ISBN
    978-0-7695-3570-8
  • Type

    conf

  • DOI
    10.1109/WCSE.2009.302
  • Filename
    5319387