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