Chen, L. (2005). Verification approach for compositional hierarchical time Petri-nets [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible