Synthesis of Free-Labeled Petri Nets with Inhibitor Arcs | IEEE Conference Publication | IEEE Xplore