3.3.3 Petri网的性质