Ferramentas de Modelagem de Processo: Uma Avaliação
Modelagem de Processos, mapeamento do paradigma gráfico para um formal
Validação da Sintaxe e da Semântica Estática de Modelos de Processos
Eber Assis Schmitz
Denis Silva da Silveira
Priscila MVLIMA