3.3.1 Petri网的基本概念