Transformation from Activity Diagrams with Time Properties to Timed Coloured Petri Nets.

Xuling Chang, Linpeng Huang, Jianpeng Hu, Chen Li, Bei Cao

Browse the full COMPSAC paper archive.