滁州学院学报
滁州學院學報
저주학원학보
Journal of Chuzhou University
2011年
5期
22~24
,共null页
Petri网 PNML文件 SVG矢量图 XSLT样式表
Petri網 PNML文件 SVG矢量圖 XSLT樣式錶
Petri망 PNML문건 SVG시량도 XSLT양식표
Petri Net; PNML file; SVG graphics; XSLT stylesheet
针对Petri网的图形化表现形式,讨论了运用XSLT样式表把基于PNML文件的Petri网图形转换为SVG矢量图的方法,给出从Petri网图形到SVG矢量图转换的实现细节。结合应用实例借助PNK（Petri NetKernel）工具建立模型并进行仿真,验证了方法的有效性。
針對Petri網的圖形化錶現形式,討論瞭運用XSLT樣式錶把基于PNML文件的Petri網圖形轉換為SVG矢量圖的方法,給齣從Petri網圖形到SVG矢量圖轉換的實現細節。結閤應用實例藉助PNK（Petri NetKernel）工具建立模型併進行倣真,驗證瞭方法的有效性。
침대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.
