A Hierarchical Timed Coloured Petri Nets for BPMN-based Process Analysis. - Wang, Ching-Huey; Huang, Pei-Shu; Wang, Feng-Jian (2010)