Process versus unfolding semantics for place/transition Petri nets