11月22日，应信息与控制工程学院诚挚邀请，IEEE Fellow，澳门科技大学李志武教授莅临我校，在信息与控制工程学院B202报告厅作了题为《Optimal Deadlock Control of Automated Manufacturing Systems using Petri Nets: A Reachability Graph Approach》学术报告。参加报告会的有国际交流合作处处长孔宪明及学院80余名师生，报告会由信息与控制工程学院院长柳强主持。

学术报告聚焦自动化制造系统中的死锁问题，系统阐述了一种基于Petri网可达性图分析的死锁预防与控制方法。通过将Petri网模型的可达性图划分为合法区与死锁区，并引入首次出现不良标记的概念。利用向量覆盖技术有效减少了用于最优控制器设计的线性规划问题中的约束与变量数量，使所提方法适用于大规模系统。最后将向量覆盖思想扩展至通用Petri网模型，成功解决了非结构化网系统的监督与控制问题。在互动环节，李教授针对师生提出的问题逐一细致解答，深入浅出的阐释引发全场热烈讨论。柳强对李教授的精彩分享致以诚挚感谢，并希望今后能经常来我校指导工作，深化双方学术交流与合作。

报告会结束后，李教授在柳强陪同下参观了信息与控制工程学院石油化工过程运行优化与节能技术国家地方联合工程实验室，李教授认真听取实验室建设与科研进展介绍，对学院在科研创新与人才培养方面的显著成效给予高度评价，并结合学科发展趋势，对学院相关学科的科研发展和人才培养提供了宝贵建议。

（撰稿人：黄越洋 校对人：施惠元 审稿人：柳强/施惠元 摄）