Čapkovič, František. “Petri Nets at Modelling and Control of Discrete-Event Systems With Nondeterminism - Part 2”. Computing and Informatics, vol. 38, no. 3, Aug. 2019, pp. 728–764, doi:10.31577/cai_2019_3_728.