Šimoňák S, Šolc M. Enhancing Formal Methods Integration with ACP2Petri. J. inf. organ. sci. (Online) [Internet]. 2016 Dec. 9 [cited 2024 Dec. 22];40(2). Available from: //jios.foi.hr/index.php/jios/article/view/1063