@article{NSJOM_2000_30_3a_16, author = {I. Tri\v{c}kovi\'c}, title = {Formalizing activity diagram of {UML} by {Petri} nets}, journal = {Novi Sad Journal of Mathematics}, pages = {161-171}, publisher = {mathdoc}, volume = {30}, number = {3}, year = {2000}, url = {http://geodesic.mathdoc.fr/item/NSJOM_2000_30_3a_16/} }