Uma Extensão de Redes de Petri para Modelagem de Processos e Controle de Projetos.