Zhaoxia Wang, Jianmin Wang 0001, Xiaochen Zhu, Lijie Wen. Verification of workflow nets with transition conditions. Journal of Zhejiang University - Science C, 13(7):483-509, 2012. [doi]
@article{WangWZW12-0,
title = {Verification of workflow nets with transition conditions},
author = {Zhaoxia Wang and Jianmin Wang 0001 and Xiaochen Zhu and Lijie Wen},
year = {2012},
doi = {10.1631/jzus.C1100364},
url = {http://dx.doi.org/10.1631/jzus.C1100364},
researchr = {https://researchr.org/publication/WangWZW12-0},
cites = {0},
citedby = {0},
journal = {Journal of Zhejiang University - Science C},
volume = {13},
number = {7},
pages = {483-509},
}