Kučera, E.; Haffner, O.; Drahoš, P.; Cigánek, J.; Štefanovič, J.; Kozák, Štefan. New Software Tool for Modelling and Control of Discrete-Event and Hybrid Systems Using Petri Nets. Comput. Inform. 2020, 39, 568-586.