Wang, M.; Wang, Y.; Chen, L.; Lu, X.; Qin, N.; Shuai, G. A Performance Analysis and Optimization Method Based on Petri Net for Manufacturing Execution System. Comput. Inform. 2026, 44.