11.2.1 Petri网的基本理论