Zhou He, Zhiwu Li, Isabel Demongodin, Alessandro Giua: Marking optimization of deterministic timed weighted marked graphs under infinite server semantics. CoDIT 2016: 1-6