Synthesis of net systems with inhibitor arcs from step transition systems | IEEE Conference Publication | IEEE Xplore