2024年3月7日上午，西安电子科技大学IEEE Fellow、洪堡学者李志武教授应邀为重庆三峡学院计算机科学与工程学院师生作题为《Optimal Deadlock Control of Automated Manufacturing Systems using Petri Nets: A Reachability Graph Approach》的学术报告。计科学院30多位师生参与并认真聆听了此次讲座。
报告以自动化制造系统死锁控制为核心，系统阐释了Petri网理论在工业智能化转型中的关键作用。李志武教授从资源竞争经典模型切入，提出基于可达图建模的系统状态分析方法，创新性划分“活区（LZ）”与“死锁区（DZ）”，并引入首次遇到的坏标记（FBM）概念，为解决大规模系统状态爆炸难题提供理论支撑。通过“机器人-机器协同制造”案例，他生动演示了如何利用Petri网动态约束机制优化资源分配，实现死锁预防与控制算法的高效设计。针对非凸合法空间的优化瓶颈，团队提出的数据抑制弧（Data Inhibitor Arcs）技术成功突破传统监控架构限制，相关成果已应用于华为智能制造产线调度系统，死锁发生率降低92%。此外，在包含1.4亿个可达状态的大规模Petri网验证中，团队通过分层覆盖策略将合法状态集合压缩至0.076%，为数字孪生、工业互联网等前沿领域提供了可扩展的理论框架。
本次报告会不仅拓宽了师生学术视野，更深化了与西安电子科技大学等高水平院校的学术联动，报告结束后，李志武教授分别针对现场师生的提问作出回答，参会师生均表示通过此次研讨会开阔了眼界，受益匪浅。
