Čapkovič, F. 2018. Petri Nets at Modelling and Control of Discrete-Event Systems Containing Nondeterminism - Part 1. Computing and Informatics. 37, 5 (Nov. 2018), 1258–1292.