Kubátová, H. Modeling by Petri Nets. Acta Polytech 2005, 45.