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.
Business process model; Petri nets; enterprise modeling; assessment of business process model; EKD
