Lígia Maria Soares Passos,  Stéphane Julia. 

Este artigo apresenta um método para a análise qualitativa e quantitativa de WorkFlow nets baseada na construção de árvores de prova canônica da lógica linear. A análise qualitativa proposta neste trabalho diz respeito à prova do critério de corretude para WorkFlow nets denominado Soundness. Aanálise quantitativa basea-se no cálculo de intervalos de datas simbólicas para a execução de cada tarefa do processo de workflow modelado, possibilitando, assim, o planejamento dos recursos a serem utilizados em todas as tarefas do processo.

http://www.lbd.dcc.ufmg.br/colecoes/sbsi/2009/003.pdf

Processando consulta.