Čapkovič, F. Petri Nets at Modelling and Control of Discrete-Event Systems With Nondeterminism - Part 2. Comput. Inform. 2019, 38, 728–764.