Kučera, Erik, et al. “New Software Tool for Modelling and Control of Discrete-Event and Hybrid Systems Using Petri Nets”. Computing and Informatics, vol. 39, no. 3, Dec. 2020, pp. 568-86, doi:10.31577/cai_2020_3_568.