6.3.4 有效Petri网的建模