Este livro trata do formalismo de automação nos modernos conceitos, que é a supervisão inteligente dos sistemas a eventos discretos. O foco deste livro é a fundamentação teórica que dá base ao entendimento desses sistemas, de sua modelagem e do trata mento da linguagem, até a formulação do controle supervisório vista por algumas das mais conhecidas ferramentas. Além do mais, seu aprofundamento se dá com a aplicação da Álgebra de Dióides nos contextos lógico e de temporização dos sistemas, que é a base para as grandes melhorias nos sistemas automáticos atuais.