Kučera, Erik, Oto Haffner, Peter Drahoš, Ján Cigánek, Juraj Štefanovič, and Štefan Kozák. 2020. “New Software Tool for Modelling and Control of Discrete-Event and Hybrid Systems Using Petri Nets”. Computing and Informatics 39 (3):568-86. https://doi.org/10.31577/cai_2020_3_568.