Busi, Gorrieri, 2009. Distributed semantics for the π-calculus based on Petri nets with inhibitor arcs 78.. https://doi.org/10.1016/j.jlap.2008.08.002