第二章 Petri网的基本概念及性质