中文摘要：

对已有行为模型向Petri网的转换机制进行对比分析,提出改进的UML2时序图到Petri网的转换规则,实现了时序图向Petri网标记语言转换的工具.实验结果表明,本文提出的工具能有效地将时序图转化为Petri网模型并生成相应PNML文件,进而更好地对UML模型进行分析和验证.

英文摘要：

Existing translation mechanisms from behavioral model to Petri net are analyzed,and improved translation rules from UML2 sequence diagram to Petri net are put forward.Then a translation tool is implemented for translating sequence diagram to Petri Net Markup Language.Experiment result shows that sequence diagram can be translated into Petri net and expressed in PNML effectively by the use of the tool proposed in this paper,so the UML model can be analyzed and verified better.