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]
Abstract is missing.