A reachable throughput upper bound for live and safe free choice nets via T-invariants | IEEE Conference Publication | IEEE Xplore