The approach used to use Petri nets as discrete-event models and structural methods for synthesis of supervisors, and can produce significant computational benefits. Highlighting the latest developments in the design of supervisors by structural methods, this book is a novel contribution to the field. One of the main features of the presentation is the demonstration that structural methods can cope with the regulatory specifications under the supervision of a variety of settings. Additional features text: * Application of the methods presented are emphasized by considering various concurrency assumptions and the type of system uncontrollability and unobservability. * Treatment of the problem of decentralized control for setting and hybrid dynamic systems. * Focus on both theory and practice: formal proof is provided in a sound mathematical setting to guarantee performance and correctness, at the same time, the author has worked out the details that are relevant to ensure the methods are ready to implement in software. * Many of the methods presented have been realized in software as a function of the MATLAB toolbox, which has been used to solve numerous examples of books. Work is self-contained and includes necessary background on Petri nets and supervision.