Please use this identifier to cite or link to this item:
http://hdl.handle.net/11375/18040
Title: | Modeling Elevator System With Coloured Petri Nets |
Authors: | Assiri, Mohammed |
Advisor: | Janicki, Ryszard |
Department: | Computing and Software |
Keywords: | Formal Specification;Coloured Petri Nets;Software Specification Benchmarks;Elevator System |
Publication Date: | 2015 |
Abstract: | 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. The results prove the compatibility and applicability of this model in various situations and demonstrate the expressive power and convenience of CPN. |
URI: | http://hdl.handle.net/11375/18040 |
Appears in Collections: | Open Access Dissertations and Theses |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
assiri_mohammed_s_201506_masc.pdf | Thesis | 1.6 MB | Adobe PDF | View/Open |
Items in MacSphere are protected by copyright, with all rights reserved, unless otherwise indicated.