论文部分内容阅读
Petri网标记语言（PNML）是一种基于XML语言的Petri网文件交换标准，用于实现Petri网工具的互操作性。综合介绍了PNML标准化进程和PNML的核心支撑技术，详细阐述了PNML体系结构各个组成部分及元模型中各个组成对象，借助PNK工具实现一个P／T网模型实例，根据元模型分析对应的PNML文件中的库所、变迁和弧等对象标签的含义，最后分析了PNML在工作流模型与矢量图转换等领域的研究状况，指出了下一步研究方向。