法国国立工艺学院Kamel Barkaoui教授做客我校“胡杨林大讲堂”

5月30日上午，法国国立工艺学院的计算机科学系特级教授Kamel Barkaoui应邀做客我校“胡杨林大讲堂”，做了题为«基于时间的Petri网死锁预防»的学术报告。报告会由研究生院主办，人工智能与计算机学院承办，人工智能与计算机学院副教授丛旭亚主持，全校200余名研究生及教师聆听了报告。

 Kamel Barkaoui教授在其报告中提出了一种针对Petri网的新型死锁预防方法，该方法通过在变迁的触发间隔上合理设置时间约束来实现控制。并证明了基于时间的死锁预防问题对于有界Petri网是可判定的，并且可以将其形式化为参数模型检查问题。

他提出一种符号化方法以解决参数模型检查面临的状态爆炸问题，该方法对触发顺序约束进行抽象，并绕过使用带有相关高代价操作的参数域。

会后，Kamel Barkaoui教授与我校研究生就基于时间Petri网复杂度计算等问题进行了讨论与交流。

整场报告内容详实、逻辑清晰，提出Petri网死锁预防新方法与符号化解决方案，拓宽学术视野，为科研提供新思路。