Bo Huang, MengChu Zhou, Gongxuan Zhang. Synthesis of Petri net supervisors for FMS via redundant constraint elimination. Automatica, 61:156-163, 2015. [doi]
@article{HuangZZ15-1,
title = {Synthesis of Petri net supervisors for FMS via redundant constraint elimination},
author = {Bo Huang and MengChu Zhou and Gongxuan Zhang},
year = {2015},
doi = {10.1016/j.automatica.2015.08.011},
url = {http://dx.doi.org/10.1016/j.automatica.2015.08.011},
researchr = {https://researchr.org/publication/HuangZZ15-1},
cites = {0},
citedby = {0},
journal = {Automatica},
volume = {61},
pages = {156-163},
}