365英国上市公司学术风采系列活动（四）：基于全局考虑-局部治理方法的Petri网可达图计算与分析