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