A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets (Logical Methods in Computer Science, 2013)