基于petri网的建模方法