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.
Petri nets; Enterprise modeling; Business rules; Software development; Business process model; Workflow; EKD; Assessment of business process model
