Čapkovič, František. 2019. “Petri Nets at Modelling and Control of Discrete-Event Systems With Nondeterminism - Part 2”. COMPUTING AND INFORMATICS 38 (3):728–764. https://doi.org/10.31577/cai_2019_3_728.