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

摘要

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