Zhou He, ZhiWu Li, Alessandro Giua: Marking optimization of deterministic timed weighted marked graphs. CASE 2014: 413-418