As Redes de Petri são usadas para modelar sistemas cujo
comportamento é regido por eventos discretos, como filas,
protocolos de comunicação, sistemas de manufatura ou controle
de processos digitais. Elas permitem analisar concorrência,
sincronização e condições de conflito de eventos. Assim sendo,
pode-se afirmar que as redes de Petri são adequadas para
modelar: