Yaqiong He, GuanJun Liu, Dongming Xiang, Jiaquan Sun, ChunGang Yan, Changjun Jiang. Verifying the Correctness of Workflow Systems Based on Workflow Net With Data Constraints. IEEE Access, 6:11412-11423, 2018. [doi]
@article{HeLXSYJ18,
title = {Verifying the Correctness of Workflow Systems Based on Workflow Net With Data Constraints},
author = {Yaqiong He and GuanJun Liu and Dongming Xiang and Jiaquan Sun and ChunGang Yan and Changjun Jiang},
year = {2018},
doi = {10.1109/ACCESS.2018.2806884},
url = {https://doi.org/10.1109/ACCESS.2018.2806884},
researchr = {https://researchr.org/publication/HeLXSYJ18},
cites = {0},
citedby = {0},
journal = {IEEE Access},
volume = {6},
pages = {11412-11423},
}