A key challenge in the synthesis and subsequent analysis of supervisory controllers is impact state-space explosion caused by concurrency. The main bottleneck often memory needed to store composition plant requirement automata resulting supervisor. Partial-order reduction (POR) a well-established technique that alleviates this issue field model checking. It does so exploiting redundancy with re...