Please use this identifier to cite or link to this item:
http://hdl.handle.net/11375/18040
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Janicki, Ryszard | - |
dc.contributor.author | Assiri, Mohammed | - |
dc.date.accessioned | 2015-09-24T14:18:10Z | - |
dc.date.available | 2015-09-24T14:18:10Z | - |
dc.date.issued | 2015 | - |
dc.identifier.uri | http://hdl.handle.net/11375/18040 | - |
dc.description.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. | en_US |
dc.language.iso | en | en_US |
dc.subject | Formal Specification | en_US |
dc.subject | Coloured Petri Nets | en_US |
dc.subject | Software Specification Benchmarks | en_US |
dc.subject | Elevator System | en_US |
dc.title | Modeling Elevator System With Coloured Petri Nets | en_US |
dc.type | Thesis | en_US |
dc.contributor.department | Computing and Software | en_US |
dc.description.degreetype | Thesis | en_US |
dc.description.degree | Master of Applied Science (MASc) | en_US |
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.