A fairly general model of the elevator system is presented. Coloured Petri Nets (CPN) and CPN tools are adopted as modeling tools. The model, which is independent of the number of floors and elevators, covers different stages of the elevator system in substantial detail. The model assists simulation-based analysis of different algorithms and rules which govern real elevator systems, including calculating serv- ing time and waiting time. The results prove the compatibility and applicability of this model in various situations and demonstrate the expressive power and convenience of CPN.
Formal Specification, Elevator System, Software Specification Benchmarks, Coloured Petri Nets, Calculating Service Time, Waiting Time
This work was published at the International Conference on Advanced Technology & SciencesAt: Konya, Turkey, September 01-03, 2016Volume: 3th International Conference, ICAT’16 https://www.researchgate.net/publication/309620060_Elevator_System_A_Case_Study_of_Coloured_Petri_Nets
Copyright (c) 2016, Mohammed Assiri All rights reserved.