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

摘要

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网的图形化表现形式,讨论了运用XSLT样式表把基于PNML文件的Petri网图形转换为SVG矢量图的方法,给出从Petri网图形到SVG矢量图转换的实现细节。结合应用实例借助PNK（Petri NetKernel）工具建立模型并进行仿真,验证了方法的有效性。