6.3.2 Petri网的变迁