Um modelo de fluxo de informações, mostrando propriedades estáticas e dinâmicas de um sistema abstrato, formal. A rede de Petri é geralmente representado como um gráfico tendo dois tipos de nós (chamado de lugares e transições), conectados por arcos e marcações (chamados tokens) indicando propriedades dinâmicas.