Yang, X. .; Guo, S. .; Xiang, D. .; Yang, Y. .; Chen, Y. . Improved Design of Concurrent Synchronization System Controller Based on Petri Net. JWE 2024, 22, 961-982.