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