No atual contexto da automação no mundo são buscadas cada vez mais novas metodologias para geração de controle nos mais variados ambientes, além da indústria. Dentre estas metodologias, ferramentais matemáticos e gráficos se tornaram aliados da automação, na busca de estruturas formais que garantam o funcionamento dos sistemas de uma forma completa e individual. Entre os formalismos encontrados no mundo da automação, encontram-se as redes de Petri, que consistem em uma importante ferramenta matemática e gráfica que permite a modelagem de um sistema, visualização e verificação de modelo, entre outras vantagens.

Em se tratando de automação, há algumas décadas o advento dos controladores lógico- programáveis (CLPs) determinou um grande passo no crescimento da automação da indústria, e eles se tornaram uma importante ferramenta na área de controle dos sistemas, estando presentes na maioria dos ambientes automatizados.

O CLP basicamente é um computador dedicado à automação, que utiliza linguagens específicas para definir programas que executam as tarefas requeridas no sistema. Entre estas linguagens, a mais conhecida e mais usada mundialmente, é a linguagem Ladder, que é uma linguagem estruturada como circuito lógico na forma de uma escada. Toda essa estrutura é baseada em formalismos computacionais básicos do tipo se...então (if...then). Assim, se uma entrada (ou conjunto de entradas) é verdadeira, então se executa a saída. Numa visão mais clara, uma chave lógica é acionada por uma entrada que energiza uma saída.

O problema da programação ladder nos CLPs é a estrutura complexa que aumenta à medida que o sistema cresce. Dessa forma, com um sistema que exibe muitas entradas e muitas saídas, além de várias interligações entre seus componentes na execução do mesmo, a programação do CLP torna-se de extrema complexidade, gerando erros difíceis de serem localizados, e muitas vezes necessitando executar o funcionamento do sistema para tentar se descobrir um erro em algumas das milhares de linhas do código ladder.

Embora hoje em dia se encontrem softwares que permitem a execução simulada do ladder para que seja verificado o código antes de ser inserido no CLP, ferramentas mais importantes que permitem o entendimento lógico do sistema em uma simulação são disponibilizadas, como é o caso da rede de Petri.