Supervisory-Control-under-Local-Mean-Payoff-Constraints-Implementation Supervisory Control under Local Mean Payoff Constraints Implementation