Um modelo de fluxo de informações, apresentando 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 lugares e transições), conectados por arcos e marcações (chamados tokens) indicando propriedades dinâmicas.