Design of Optimal Supervisors for the Enforcement of Nonlinear Constraints on Petri Nets | IEEE Journals & Magazine | IEEE Xplore