Jun Li 0011, Xiaolong Yu, MengChu Zhou. Lean reachability tree for Petri net analysis. In 13th IEEE International Conference on Networking, Sensing, and Control, ICNSC 2016, Mexico City, Mexico, April 28-30, 2016. pages 1-6, IEEE, 2016. [doi]
@inproceedings{LiYZ16-1,
title = {Lean reachability tree for Petri net analysis},
author = {Jun Li 0011 and Xiaolong Yu and MengChu Zhou},
year = {2016},
doi = {10.1109/ICNSC.2016.7478977},
url = {http://dx.doi.org/10.1109/ICNSC.2016.7478977},
researchr = {https://researchr.org/publication/LiYZ16-1},
cites = {0},
citedby = {0},
pages = {1-6},
booktitle = {13th IEEE International Conference on Networking, Sensing, and Control, ICNSC 2016, Mexico City, Mexico, April 28-30, 2016},
publisher = {IEEE},
isbn = {978-1-4673-9975-3},
}