"A Hierarchical Timed Coloured Petri Nets for BPMN-based Process Analysis."

Ching-Huey Wang, Pei-Shu Huang, Feng-Jian Wang (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics