4.4 Petri网络仿真