Feedback control logic for backward conflict free choice nets