X. . Yang, S. . Guo, D. . Xiang, Y. . Yang, and Y. . Chen, “Improved Design of Concurrent Synchronization System Controller Based on Petri Net”, JWE, vol. 22, no. 07, pp. 961–982, Feb. 2024.