Abstract: Many deadlock control methods rely on reachability graphs of Petri nets (PN), thus suffering from state-space explosion issues. This paper proposes a novel approach to designing ...