F. Čapkovič, “Petri Nets at Modelling and Control of Discrete-Event Systems with Nondeterminism - Part 2”, Comput. Inform., vol. 38, no. 3, pp. 728–764, Aug. 2019.