A Colored Petri Net Executable Modeling Approach for a Data Flow Well-Structured BPMN Process Model

A Colored Petri Net Executable Modeling Approach for a Data Flow Well-Structured BPMN Process Model

BPMN process models have been widely used in software designs. The BPMN process models are characterized by a static graph-oriented modeling language and a lack of analytical capabilities as well as dynamic behavior verification capabilities, which not only leads to inconsistencies in the semantics...

Full description

Bibliographic Details
Main Authors: Fenglan Huang, Feng Ni, Jiang Liu, Fan Yang, Jiayi Zhu
Format: Article
Language:English
Published: IEEE 2022-01-01
Series:IEEE Access
Subjects:
BPMN
formal verification
CPN
data flow
model transformation
Online Access:https://ieeexplore.ieee.org/document/9857829/

Internet

https://ieeexplore.ieee.org/document/9857829/

Similar Items