Dongming Xiang, Xiaoyan Tao, Yaping Liu. An Incremental and Backward-Conflict Guided Method for Unfolding Petri Nets. Symmetry, 13(3):392, 2021. [doi]
@article{XiangTL21, title = {An Incremental and Backward-Conflict Guided Method for Unfolding Petri Nets}, author = {Dongming Xiang and Xiaoyan Tao and Yaping Liu}, year = {2021}, doi = {10.3390/sym13030392}, url = {https://doi.org/10.3390/sym13030392}, researchr = {https://researchr.org/publication/XiangTL21}, cites = {0}, citedby = {0}, journal = {Symmetry}, volume = {13}, number = {3}, pages = {392}, }