Na UML 2.5 (Unified Modeling Language / Linguagem de
Modelagem Unificada), se refere ao diagrama que permite
modelar o comportamento do sistema, denotando os
caminhos lógicos que um processo pode seguir e, além
disso, se baseia no conceito de Rede de Petri. Trata-se de
um dos diagramas que compõem a visão dinâmica da UML: