8.2.2 基于Petri网的虚拟装配线运行逻辑建模