3.3.2 Petri网的扩充