一个关于petrinet建模的算法，介绍了petrinet的概念，并提出了相关的算法