雷速体育 学术风采系列活动（四）：基于全局考虑-局部治理方法的Petri网可达图计算与分析