Distributed semantics for the π-calculus based on Petri nets with inhibitor arcs