Transformation and Visualization of BPMN Models to Petri Nets

2018 International Conference of Green Buildings and Environmental Management

土木建筑工程;生态环境科学

Li, Lei^1 ; Dai, Fei^2

School of Information Science and Engineering, Yunnan University, Kunming

650091, China^1

National Pilot School of Software, Yunnan University, Kunming

650091, China^2

关键词: Analysis techniques;    Business Process;    Business Process Modeling Notation (BPMN);    Formal tools;    Mathematical principle;    Petri net models;    Semantic errors;   

Others  :  https://iopscience.iop.org/article/10.1088/1755-1315/186/5/012047/pdf
DOI  :  10.1088/1755-1315/186/5/012047

来源: IOP

【 摘 要 】

The Business Process Modeling Notation (BPMN) is a language for capturing business processes. It is able to model the complex concepts of systems such as: choice, parallel, and synchronization. However it suffers from the lack of an unambiguous definition, so we may produces models with semantic errors. On the other hand, Petri nets are a formal tool with solid mathematical principles [4]. Moreover, it offers a number of analytical techniques. So Petri nets and BPMN have complementary abilities: BPMN can handle the modeling and Petri nets can handle the analysis. In this paper, we propose an approach for transforming BPMN models to Petri nets models, then assign coordinates of Petri nets elements and control the path of every arc. Finally, we get a valid and neat Petri net model which is both convenient and practical for human analysts and other Petri nets analysis techniques.