Marian V. Iordache, Po Wu, Feng Zhu, Panos J. Antsaklis
Efficient design of Petri-net supervisors with disjunctive specifications
CASE, 2013.
@inproceedings{CASE-2013-IordacheWZA,
author = "Marian V. Iordache and Po Wu and Feng Zhu and Panos J. Antsaklis",
booktitle = "{Proceedings of the Ninth International Conference on Automation Science and Engineering}",
doi = "10.1109/CoASE.2013.6653978",
pages = "936--941",
publisher = "{IEEE}",
title = "{Efficient design of Petri-net supervisors with disjunctive specifications}",
year = 2013,
}