Marking optimization of deterministic timed weighted marked graphs under infinite server semantics