On the Relationship between π-Calculus and Finite Place/Transition Petri Nets