Paper Info
Title
A Guard-Driven Analysis Approach of Workflow Net with Data
Abstract
The correctness of workflow systems is dependent on not only their control-flows but also their data-flows. WFD-nets (Workflow net with data) can model both control-flow and data-flow of workflow systems, and are used to analyze/verify their correctness. The existing methods of analyzing/verifying WFD-nets are based on their reachability graphs. However, the reachability-graph-bas...
Year
DOI
Venue
2021
10.1109/TSC.2019.2899086
IEEE Transactions on Services Computing
Keywords
DocType
Volume
Unified modeling language,Petri nets,Data models,Explosions,Business,Tools,Analytical models
Journal
14
Issue
ISSN
Citations 
6
1939-1374
0
PageRank 
References 
Authors
0.34
0
4
Name
Order
Citations
PageRank
Dongming Xiang101.69
GuanJun Liu217626.24
Chun-Gang Yan36215.97
ChangJun Jiang400.34