Modeling Elevator System With Coloured Petri Nets
| dc.contributor.advisor | Janicki, Ryszard | |
| dc.contributor.author | Assiri, Mohammed | |
| dc.contributor.department | Computing and Software | en_US |
| dc.date.accessioned | 2015-09-24T14:18:10Z | |
| dc.date.available | 2015-09-24T14:18:10Z | |
| dc.date.issued | 2015 | |
| 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.description.degree | Master of Applied Science (MASc) | en_US |
| dc.description.degreetype | Thesis | en_US |
| dc.identifier.uri | http://hdl.handle.net/11375/18040 | |
| 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 |