6.2 Petri网的建模