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

Ching-Huey Wang, Pei-Shu Huang, Feng-Jian Wang

Browse the full SEKE paper archive.