PNML到SVG矢量图转换的研究与实现  

Research on Transformation from PNML to SVG Graphics

作　　者：胡晓静[1] 刘士喜[1] 马骏[1] 

机构地区：[1]滁州学院计算机与信算工程学院,安徽滁州239000

出　　处：《滁州学院学报》2011年第5期22-24,共3页Journal of Chuzhou University

基　　金：安徽省教育厅自然科学基金资助项目(KJ2011B116);滁州学院自然科学基金资助项目(2010kj016B);滁州学院自然科学基金项目(2011kj008B)

摘　　要：针对Petri网的图形化表现形式,讨论了运用XSLT样式表把基于PNML文件的Petri网图形转换为SVG矢量图的方法,给出从Petri网图形到SVG矢量图转换的实现细节。结合应用实例借助PNK(Petri NetKernel)工具建立模型并进行仿真,验证了方法的有效性。Aiming at the graphic feature of Petri Nets,this paper discusses the transformation method from PNML file format based of Petri net to SVG vector graphics based on XSLT technology and depicts the implementation details.The result is verified by using the PNK tools to establish and simulate the model.

关 键 词：PETRI网 PNML文件 SVG矢量图 XSLT样式表 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]