Ru Yang, Zhijun Ding, Tong Guo, Meiqin Pan, Changjun Jiang. Model Checking of Variable Petri Nets by Using the Kripke Structure. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 52(12):7774-7786, 2022. [doi]
@article{YangDGPJ22,
title = {Model Checking of Variable Petri Nets by Using the Kripke Structure},
author = {Ru Yang and Zhijun Ding and Tong Guo and Meiqin Pan and Changjun Jiang},
year = {2022},
doi = {10.1109/TSMC.2022.3163741},
url = {https://doi.org/10.1109/TSMC.2022.3163741},
researchr = {https://researchr.org/publication/YangDGPJ22},
cites = {0},
citedby = {0},
journal = {IEEE Transactions on Systems, Man, and Cybernetics, Part A},
volume = {52},
number = {12},
pages = {7774-7786},
}