https://1library.org/document/yrw3gd7z-implementacao-distribuida-controle-supervisorio-para-sistemas-eventos-discretos.html