Čapkovič, F. (2018). Petri Nets at Modelling and Control of Discrete-Event Systems Containing Nondeterminism – Part 1. Computing and Informatics, 37(5), 1258–1292. https://doi.org/10.4149/cai_2018_5_1258