Francesco Basile, Gianmaria De Tommasi, Carlo Motta. Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques. Automatica, 152:110911, June 2023. [doi]
@article{BasileTM23,
title = {Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques},
author = {Francesco Basile and Gianmaria De Tommasi and Carlo Motta},
year = {2023},
month = {June},
doi = {10.1016/j.automatica.2023.110911},
url = {https://doi.org/10.1016/j.automatica.2023.110911},
researchr = {https://researchr.org/publication/BasileTM23},
cites = {0},
citedby = {0},
journal = {Automatica},
volume = {152},
pages = {110911},
}