Kubátová H. Modeling by Petri Nets. Acta Polytech. 2005;45(2). doi:10.14311/676