Kučera, Erik, Oto Haffner, Peter Drahoš, Ján Cigánek, Juraj Štefanovič, and Štefan Kozák. “New Software Tool for Modelling and Control of Discrete-Event and Hybrid Systems Using Petri Nets”. COMPUTING AND INFORMATICS 39, no. 3 (December 16, 2020): 568–586. Accessed March 29, 2024. https://www.cai.sk/ojs/index.php/cai/article/view/2020_3_568.