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.