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...

Full description

Bibliographic Details
Main Authors: C. Dechsupa, W. Vatanawood, A. Thongtak
Format: Article
Language:English
Published: IEEE 2018-01-01
Series:IEEE Access
Subjects:
Online Access:https://ieeexplore.ieee.org/document/8405526/