主题词：Petri Nets in System Modeling; Formal Methods in Verification; Simulation Techniques and Applications; Distributed systems and fault tolerance; Advanced Queuing Theory Analysis; Real-Time Systems Scheduling; Business Process Modeling and Analysis; Flexible and Reconfigurable Manufacturing Systems; Advanced Control Systems Optimization; Scheduling and Optimization Algorithms; Reinforcement Learning in Robotics; Fault Detection and Control Systems; Human auditory perception and evaluation; Diverse Scientific and Economic Studies; Model-Driven Software Engineering Techniques; Optimization and Search Problems; Embedded Systems Design Techniques; Markov Chains and Monte Carlo Methods; Stability and Control of Uncertain Systems; Stochastic processes and financial applications; Traffic control and management; Educational Robotics and Engineering; Probability and Risk Models; Network Traffic and Congestion Control; Matrix Theory and Algorithms