Petri网并行化理论与并行算法