Thesis: Modeling Elevator System With Coloured Petri Nets This repository contains all the graphics from my master's thesis, which can be accessed here Copyright (c) 2015, Mohammed Assiri All rights reserved.