Links for metrics-petri