WF-net模型到PNML的转换方法研究与实现

摘要：

Petri网标记语言PNML是一种基于XML的支持不同Petri网工具之间文件交换的标准格式,对于解决不同Petri网变种之间的互操作性问题具有重要意义.工作流网WF-net是用于工作流系统建模和定性、定量分析的重要形式化技术之一.工作重点是将WF-net模型转换为PNML格式.首先,在标准PNML元模型的基础上,通过元素扩展提出WF-net的PNML元模型.然后,依据元模型,提出WF-net模型中各元素到PNML格式的转换规则,包括起始/结束库所转换、四种触发器转换和四种分支/合并结构转换.最后设计并实现了WF-net描述到PNML描述自动转换的工具软件.这些工作为Petri网标准交换格式的制定做了有力的探索.

关键词：元模型、WF-net、PNML、转换规则

所属期刊栏目：37

分类号：TP301.2(计算技术、计算机技术)

资助基金：国家自然科学基金60863015;国家科技部春晖计划项目Z2007-1-01042;内蒙古自然科学基金项目20080404ZD20

在线出版日期：2011-03-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：96-98,105