作者：赵俊峰 周建涛uml时序图pnmlpetri网转换规则
摘要：对已有行为模型向Petri网的转换机制进行对比分析,提出改进的UML2时序图到Petri网的转换规则,实现了时序图向Petri网标记语言转换的工具.实验结果表明,本文提出的工具能有效地将时序图转化为Petri网模型并生成相应PNML文件,进而更好地对UML模型进行分析和验证.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《武汉大学学报·理学版》（CN：42-1674/N）是一本有较高学术价值的大型双月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《武汉大学学报·理学版》是自然科学综合性学术期刊，主要刊登数学、计算机科学、物理学、空间物理学、化学、环境科学、生命科学等学科的最新研究成果。
杂志详情
