Wenjie Zhong, Jian-Tao Zhou 0002, Tao Sun 0002. Concurrent software fine-coarse-grained automatic modelling by Coloured Petri Nets for model checking. IET Software, 17(1):55-75, February 2023. [doi]
@article{ZhongZS23,
title = {Concurrent software fine-coarse-grained automatic modelling by Coloured Petri Nets for model checking},
author = {Wenjie Zhong and Jian-Tao Zhou 0002 and Tao Sun 0002},
year = {2023},
month = {February},
doi = {10.1049/sfw2.12084},
url = {https://doi.org/10.1049/sfw2.12084},
researchr = {https://researchr.org/publication/ZhongZS23},
cites = {0},
citedby = {0},
journal = {IET Software},
volume = {17},
number = {1},
pages = {55-75},
}