In: Computing and Informatics, vol. 39, no. 1-2
Dongming Xiang - Guanjun Liu
Details:
Year, pages: 2020, 193 - 212
Language: eng
Keywords:
Petri net, workflow system, data-flow errors, reachability graph
About article:
In order to guarantee the correctness of workflow systems, it is necessary to check their data-flow errors, e.g., missing data, inconsistent data, lost data and redundant data. The traditional Petri-net-based methods are usually based on the reachability graph. However, these methods have two flaws, i.e., the state space explosion and pseudo states. In order to solve these problems, we use WFD-nets to model workflow systems, and propose an algorithm for checking data-flow errors based on the guard-driven reachability graph (GRG) of WFD-net. Furthermore, a case study and some experiments are given to show the effectiveness and advantage of our method.
How to cite:
ISO 690:
Xiang, D., Liu, G. 2020. Checking Data-Flow Errors Based on The Guard-Driven Reachability Graph of WFD-Net. In Computing and Informatics, vol. 39, no.1-2, pp. 193-212. 1335-9150. DOI: https://doi.org/10.31577/cai_2020_1-2_193
APA:
Xiang, D., Liu, G. (2020). Checking Data-Flow Errors Based on The Guard-Driven Reachability Graph of WFD-Net. Computing and Informatics, 39(1-2), 193-212. 1335-9150. DOI: https://doi.org/10.31577/cai_2020_1-2_193
About edition:
Publisher: Ústav informatiky SAV
Published: 20. 7. 2020