F. Čapkovič, “Petri Nets at Modelling and Control of Discrete-Event Systems Containing Nondeterminism - Part 1”, Comput. Inform., vol. 37, no. 5, pp. 1258–1292, Nov. 2018.