Inhibitor arc based state avoidance controller for non-convex forbidden state problems in Petri nets.