# Inhibitor arc example p0:PNPlace p1:PNPlace t0:PNTransition :arc (p0 -> t0) :arc (t0 -> p1) t1:PNTransition :arc (p1 -> t1) :arc (t1 -> p0) t2:PNTransition :inh_arc (p0 -> t2) :arc (t2 -> p0)
