Chen, L. (2005). Verification approach for compositional hierarchical time Petri-nets [Master's thesis, École Polytechnique de Montréal]. Available