对Petri网的总体介绍，方便新手入门。

对Petri网的总体介绍，方便新手入门。