Apresenta o método de avaliação do modelo de processos de negócio do Enterprise Knowledge Development (MPN-EKD) e um exemplo de aplicação. Para criar o método de avaliação, foi desenvolvida a formalização do modelo de processos de negócio do EKD (MPN-EKD) e o mapeamento de sse modelo em redes de Petri. Por meio desse método, é possível verificar se o modelo tem erros de construção e travamentos. O EKD é uma metodologia que fornece uma forma sistemática e controlada de analisar, entender, desenvolver e documentar uma organização. A metodologia EKD não possui uma sintaxe e uma semântica bem definidas, dificultando análises mais complexas dos modelos e a verificação da consitência do modelo. Essa dificuldade motivou um estudo baseado em redes de Petri. O formalismo de redes de Petri a torna uma importante técnica de modelagem para a representação de processos. Além disso, redes de Petri permitem rastrear cada etapa da operação sem ambigüidade e possuem métodos eficientes de análise que garantem que o modelo está livre de erros.

The EKD - Enterprise Knowledge Development - is a methodology that offers a systematic and guided process to analyze, understand, develop, and document an Enterprise. Unfortunately, its grammatical structure and context formation are not clear nor easy to understand and interpret making the analyses of more complex models difficult. As a result, the Enterprise Process model of EKD can be ambiguous and hard to analyze, especially regarding more complex systems, and so it can also be difficult to verify the consistency and entireness the model. In this work, these problems will be studied based on the Petri Nets approach. Due to the Petri Nets formalism, this is an important modeling technique to process representation. Furthermore, Petri Nets allows the tracking of every step of the operation with no ambiguity, and it offers efficient methodology for the analyses, which can guarantee the accuracy of the model. Therefore, the objective of this study is to develop an evaluation methodology of the business process model of EKD (MPN-EKD). Such methodology will allow the verification of possible building and locking model errors. This methodology can be applied to information systems or workflow. It can also be used to study strategies of work and workflow simulations.