2019年3月27日,法国国家艺术学院卡梅尔.巴卡维教授应必威的邀请,作题为《Exploiting local persistency for reduced state space generation of Petr inets》的学术报告。报告会由必威副院长马天主持,全校200余名研究生及教师聆听了报告。
卡梅尔.巴卡维教授主要从Petri nets、Partial order techniques、Persistent step sets、Parametric combination of strong-persistent sets with steps、Parametric combination of persistent sets with steps等方面展开论述。
最后,卡梅尔.巴卡维教授与我校教师及研究生就相关科学问题进行交流和讨论。