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