Transformation of Activity Diagram into Coloured Petri Nets Using Weighted Directed Graph. - Maryam Jamal; Nazir Ahmad Zafar (FIT, 2016)