Nas últimas décadas, o avanço da computação, da comunicação e da tecnologia dos sensores reforçou a importância dos sistemas discretos, como os sistemas de manufatura, sistemas de controle de semáforo, sistemas de transporte inteligente, etc. Nesse sentido, a utilização de computadores industriais torna-se cada vez mais difundida para o controle de equipamento e processos, por atuarem de forma mais precisa e rápida se comparadas à capacidade dos operadores. O aumento na complexidade dos sistemas dificulta sua modelagem, tornando mais atrativo o uso de técnicas mais simples de serem compreendidas e de fácil implementação. A utilização de modelos mais práticos, como o Diagrama Funcional Sequencial torna-se mais freqüente, face ao uso de modelos como autômatos e redes de Petri. Nesse trabalho, essa técnica é utilizada para a modelagem de um sistema de carregamento de combustíveis em um terminal de distribuição.