Formal modeling language of workflow with data-data-aware workflow nets

ZX Wang, JM Wang, XC Zhu - Computer Integrated Manufacturing …, 2012 - cims-journal.cn
To model and verify the workflow formally before implementing workflow, the research status
of workflow with data's formal modeling was summarized. After cleaning the interacting …