Francesco Basile, Ciro Carbone, Pasquale Chiacchio. A reachable throughput upper bound for live and safe free choice nets via T-invariants. In 7th European Control Conference, ECC 2003, Cambridge, UK, September 1-4, 2003. pages 624-629, IEEE, 2003. [doi]
@inproceedings{BasileCC03-1,
title = {A reachable throughput upper bound for live and safe free choice nets via T-invariants},
author = {Francesco Basile and Ciro Carbone and Pasquale Chiacchio},
year = {2003},
doi = {10.23919/ECC.2003.7085025},
url = {https://doi.org/10.23919/ECC.2003.7085025},
researchr = {https://researchr.org/publication/BasileCC03-1},
cites = {0},
citedby = {0},
pages = {624-629},
booktitle = {7th European Control Conference, ECC 2003, Cambridge, UK, September 1-4, 2003},
publisher = {IEEE},
isbn = {978-3-9524173-7-9},
}