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: