3月27日，法国国家艺术学院卡梅尔•巴卡维教授应计算机学院的邀请在雁塔校区图书馆报告厅作题为《Exploiting local persistency for reduced state space generation of Petri nets》的学术报告。报告会由计算机学院副院长马天主持，全校200余名研究生及部分教师聆听了报告。

卡梅尔•巴卡维教授主要从Petri nets、Partial order techniques、Persistent step sets、Parametric combination of strong-persistent sets with steps、Parametric combination of persistent sets with steps等方面展开论述。

最后，卡梅尔•巴卡维教授与我校师生就相关科学问题进行了交流和讨论。

友情提示：转载本网文章请注明出处。

• 编辑：逸心