Kučera, E. et al. 2020. New Software Tool for Modelling and Control of Discrete-Event and Hybrid Systems Using Petri Nets. Computing and Informatics. 39, 3 (Dec. 2020), 568–586. DOI:https://doi.org/10.31577/cai_2020_3_568.