%0 Journal Article %A I. Tričković %T Formalizing activity diagram of UML by Petri nets %J Novi Sad Journal of Mathematics %D 2000 %P 161-171 %V 30 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/item/NSJOM_2000_30_3a_16/ %F NSJOM_2000_30_3a_16