Dongming Xiang, GuanJun Liu, ChunGang Yan, Changjun Jiang. Detecting data-flow errors based on Petri nets with data operations. IEEE CAA J. Autom. Sinica, 5(1):251-260, 2018. [doi]
@article{XiangLYJ18,
title = {Detecting data-flow errors based on Petri nets with data operations},
author = {Dongming Xiang and GuanJun Liu and ChunGang Yan and Changjun Jiang},
year = {2018},
doi = {10.1109/JAS.2017.7510766},
url = {https://doi.org/10.1109/JAS.2017.7510766},
researchr = {https://researchr.org/publication/XiangLYJ18},
cites = {0},
citedby = {0},
journal = {IEEE CAA J. Autom. Sinica},
volume = {5},
number = {1},
pages = {251-260},
}