11.2.2 Petri网的最优变迁激发序列规划