Methodology of synthesis of the supervisors by using Petri net - Bošnjak, Rino (Array, 2017)