Este trabalho tem como objetivo utilizar uma rede de Petri interpretada para controle na modelagem de sistemas a eventos discretos, aplicada ao controle supervisório de um elevador de passageiros. Além disso, objetiva caracterizar e exemplificar o funcionamento de Controladores Lógicos Programáveis (CLPs), e abordar a programação Ladder, expondo um método simples e efetivo de conversão RPIC para Ladder.