abstract
- This study focuses on developing a control mechanism to prevent deadlocks in a specific subclass of Petri Nets. The designed control guarantees deadlock-freeness for every acceptable initial marking of the net. The novelty of this method lies in the removal of some output transitions of siphons by establishing a specific synchronic distance between the output and internal transitions of the siphons. This approach is shown in S3 PR nets. An example is presented to illustrate the proposed approach. © 2025 IEEE.