A respeito de padrões para modelagem de processos, considere as afirmativas a seguir.

I - A Rede de Petri é um instrumento gráfico adequado para modelar fluxos em processos de negócios.

II - A BPEL é uma linguagem de especificação de processos de negócios.

III - O diagrama de atividades da UML tem características tanto das técnicas de fluxograma quanto de um caso especial de máquinas de estado.

É correto o que se afirma