H. Kubátová, “Modeling by Petri Nets”, Acta Polytech, vol. 45, no. 2, Jan. 2005.