4.7 Petri网建模