河工 AI｜智“惠”讲堂（七十二讲）— Modeling and Control of Discrete Event Systems: Automata and Petri Nets Perspectives