Petri网基本概念及介绍剖析