法国国家艺术学院卡梅尔.巴卡维教授应邀作报告

2019年3月27日，法国国家艺术学院卡梅尔.巴卡维教授应雷竞技raybat竞猜的邀请，作题为《Exploiting local persistency for reduced state space generation of Petr inets》的学术报告。报告会由雷竞技raybat竞猜副院长马天主持，全校200余名研究生及教师聆听了报告。

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

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