Transformation of the BPMN Design Model into a Colored Petri Net Using the Partitioning Approach
Formal verification is a process to ensure that the business process model and notation (BPMN) design model is free of deadlock, livelock, and other undesirable properties that can cause a system crash. Formal verification is a complicated procedure involving model abstraction and model checking too...
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
IEEE
2018-01-01
|
Series: | IEEE Access |
Subjects: | |
Online Access: | https://ieeexplore.ieee.org/document/8405526/ |