O EKD - Enterprise Knowledge Development - é uma metodologia que fornece uma forma sistemática e controlada de analisar, entender, desenvolver e documentar uma organização. Infelizmente não possui uma sintaxe e semântica bem definidas, dificultando análises mais complexas dos modelos. Como resultado, o modelo de processos de negócio do EKD pode ser ambíguo e de difícil análise, principalmente em sistemas mais complexos, não sendo possível verificar a consistência e completude do modelo. Neste trabalho, esses problemas serão tratados sob uma abordagem baseada em redes de Petri. Assim, este trabalho tem como objetivo apresentar o mapeamento do modelo de processos de negócios do EKD em redes de Petri. O mapeamento permitirá que o modelo de processos de negócios do EKD seja analisado de forma que seja possível verificar a consistência e completude do modelo.

The EKD - Enterprise Knowledge Development - is a methodology that gives a systematic and controlled way to analyze, understand, develop, and document an Enterprise. Unfortunately it doesn't have syntax neither a semantic well defined, which doesn't help on more complex analyses of the models. As a result, the Enterprise Process model of EKD can be ambiguous and hard to analyze, especially on more complex systems, and also it is not possible to verify the consistency and entireness of the model. On this paper, these problems will be studied under an approach based on Petri Nets. This work has the objective to develop a mapping of the business process model of EKD. Such mapping will make possible the verification of possible building and locking model errors.