-
题名PNML到SVG矢量图转换的研究与实现
被引量：1
- 1
-
-
作者
胡晓静
刘士喜
马骏
-
机构
滁州学院计算机与信算工程学院
-
出处
《滁州学院学报》
2011年第5期22-24,共3页
-
基金
安徽省教育厅自然科学基金资助项目(KJ2011B116)
滁州学院自然科学基金资助项目(2010kj016B)
滁州学院自然科学基金项目(2011kj008B)
-
文摘
针对Petri网的图形化表现形式,讨论了运用XSLT样式表把基于PNML文件的Petri网图形转换为SVG矢量图的方法,给出从Petri网图形到SVG矢量图转换的实现细节。结合应用实例借助PNK(Petri NetKernel)工具建立模型并进行仿真,验证了方法的有效性。
-
关键词
PETRI网
pnml文件
SVG矢量图
XSLT样式表
-
Keywords
Petri Net
pnml file
SVG graphics
XSLT stylesheet
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名Petri网标记语言
被引量：3
- 2
-
-
作者
胡晓静
胡敏
刘士喜
-
机构
合肥工业大学计算机与信息学院
滁州学院计算机系
-
出处
《计算机技术与发展》
2011年第12期66-69,共4页
-
基金
安徽省教育自然科学基金资助项目(KJ2011B116)
滁州学院自然科学基金资助项目(2010kj016B)
-
文摘
Petri网标记语言(PNML)是一种基于XML语言的Petri网文件交换标准,用于实现Petri网工具的互操作性。综合介绍了PNML标准化进程和PNML的核心支撑技术,详细阐述了PNML体系结构各个组成部分及元模型中各个组成对象,借助PNK工具实现一个P/T网模型实例,根据元模型分析对应的PNML文件中的库所、变迁和弧等对象标签的含义,最后分析了PNML在工作流模型与矢量图转换等领域的研究状况,指出了下一步研究方向。
-
关键词
PETRI网
pnml文件
元模型
-
Keywords
Petri nets
pnml file
meta model
-
分类号
TP301.2
[自动化与计算机技术—计算机系统结构]
-
