Os processos de automação vêm evoluindo rapidamente, em que novas estratégias de modelagem e controle são desenvolvidas, com vistas a melhorar e aumentar a produção, reduzindo custos e riscos. Vários desses sistemas apresentam características específicas, as quais são discretas no tempo. Essas características se apresentam como mudanças de estados (ou configuração do sistema) a partir da ocorrência de eventos físicos (ou transições de estados), o que os levou a serem denominados de Sistemas a Eventos Discretos. Vários paradigmas foram utilizados para solucionar problemas específicos, em que nestes, as redes de Petri se mostram com muitas vantagens, sendo atualmente um paradigma muito utilizado. É de fundamental importância na área de Engenharia Elétrica, Engenharia Mecânica, Engenharia de Computação, Mecatrônica, bem como cursos técnicos dessas áreas, conhecer esse paradigma de modelagem que permite modelar os mais variados tipos de sistemas, bem como suas aplicações específicas ao problema de controle de SED. Esse é o objetivo desse livro, que de uma forma simples mostra sua teoria e a aplicação na modelagem e controle de SED, a qual é muito utilizada atualmente.