Čapkovič, F. Petri Nets at Modelling and Control of Discrete-Event Systems Containing Nondeterminism - Part 1. Comput. Inform. 2018, 37, 1258-1292.