A Colored Petri Net Executable Modeling Approach for a Data Flow Well-Structured BPMN Process Model. - Fenglan Huang; Feng Ni; Jiang Liu; Fan Yang; Jiayi Zhu (IEEE Access, 2022)