Nadzoru: A Software Tool for Supervisory Control of Discrete Event Systems

:This article presents a software tool for the synthesis of supervisory control based on untimed finite state automata. The tool has a friendly graphical interface for the creation of models and, among other features, allows: automata simulation; analysis of problems related to the implementation of the control logic; and code generation for multiple devices. The code generation is based on a template system that allows the easy inclusion of support for new devices. Currently the tool is able to generate code for some microcontrollers and programmable logic controllers. Another feature of the tool is the capability of being easily extended with new algorithms and modules.