摘要
针对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.
出处
《滁州学院学报》
2011年第5期22-24,共3页
Journal of Chuzhou University
基金
安徽省教育厅自然科学基金资助项目(KJ2011B116)
滁州学院自然科学基金资助项目(2010kj016B)
滁州学院自然科学基金项目(2011kj008B)