Strategic Reactor Allocation for Deadlock-Free Execution