第四章 petri网的基本行为特征