Transformation of Activity Diagram into Coloured Petri Nets Using Weighted Directed Graph | IEEE Conference Publication | IEEE Xplore