Automatic Transformation of BPMN Models Onto Petri Nets

Abstract

Software success depends on the accuracy of the business process modelling notation (BPMN), and the correctness verification procedure is built upon the formalization of BPMN. The primary drawbacks of the BPMN formalization under shifting business needs are, however, the inability to dynamically adapt the formalized BPMN model to modifications in the BPMN model. For the purpose of modelling business processes, the Business Process Model and Notation standard is frequently utilized. Its primary flaw, though, is that it lacks formal semantics, which results in several unwanted qualities like deadlocks and livelocks which produces models with semantic flaws. Petri nets are a formal tool based on sound mathematical ideas and can handle analysis. Additionally, it provides several analytical methods. To officially validate them, we must convert it into a formal language, like Petri nets. The majority of earlier studies focused on manual transformations by mapping rules which creates static petri net model. In order to perform conformity verification, the BPMN model must be transformed into a formal process modelling representation, such as Petri nets. In order to get over these restrictions, this study suggests a method for developing a Petri net model automatically in accordance with BPMN modification rules. Firstly, this study automatically converts the Business Process Model into Petri net Model and produces dynamic output. Secondly, the converted model is compared with the manually transformed model created by expert users according to verified mapping figure’s rules and then analyze the result. Thus, the proposed approach obtains a reliable and well organized Petri net model that works well with other Petri net analysis methods as well as with human analysts