Asghar Bokhari W. F. Skip Poehlman Translation of UML Models to Object Coloured Petri Nets with a view to Analysis. 568-571 2006 conf/seke/2006 SEKE db/conf/seke/seke2006.html#BokhariP06