A Petri Nets Evolution Method that Supports BPMN Model Changes
The correctness of the business process modelling notation (BPMN) is essential for software success, and the BPMN formalization is the foundation of the correctness verification process. However, dynamically adapting the formalized BPMN model to changes in the BPMN model and protecting tokens from b...
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
Hindawi Limited
2021-01-01
|
Series: | Scientific Programming |
Online Access: | http://dx.doi.org/10.1155/2021/6610795 |