对UML模型与Petri网模型的转换方法的整合研究