Authors:
Tarek Fatyani
;
Junich Iijima
and
Jaehyun Park
Affiliation:
Tokyo Institute of Technology, Japan
Keyword(s):
DEMO Model, Modelling and Simulation, Petri Net (PN), Coloured Petri Net (CPN), Business Process Simulation.
Related
Ontology
Subjects/Areas/Topics:
Artificial Intelligence
;
Data Engineering
;
Enterprise Information Systems
;
Enterprise Ontology
;
Information Systems Analysis and Specification
;
Knowledge Engineering and Ontology Development
;
Knowledge Reengineering
;
Knowledge-Based Systems
;
Ontologies and the Semantic Web
;
Ontology Engineering
;
Ontology Matching and Alignment
;
Symbolic Systems
Abstract:
Enterprises are growing in complexity due to many business processes. This growth requires a simple but complete model for enterprise design. The DEMO model has proven its ability to describe an enterprise in a concise, coherent, and complete manner over the last decade. However, validating the model in the real world requires methods that enable debugging and testing the model, which can be achieved by simulating the model. In this paper, a simulation methodology is proposed. The methodology is based on mapping one to one from the DEMO model to Coloured Petri Net. The reason for choosing CPN is to use the richness of the Petri Net research results on, e.g., performance, deadlock analysis, animation, etc. Furthermore, CPN has a mathematical representation, which can initiate research on analysing DEMO models mathematically. As for validation, this paper applied the proposed transformation method to a case study.