Abstract: Petri Net Makeup Language(PNML) is an interchange format for different kinds of Petri nets based on XML. It plays an important role for inter-operability among different variations of Petri nets. Workflow net(WF-net) is one of formal techniques for workflow modeling and qualitative and quantitative analysis. The work done in this paper is transition from WF-net model to PNML format. Firstly, PNML meta model for WF-net was presented based on stanlord meta model by extending those elements not in the original model. Secondly, ten transition rules from WF-net to PNML were given based on the meta model presented above, including source place/sink place transition,four triggers transition,and four fork/join constructs transition. Finally,an automatic transition tool was designed and implemented.The work is exploratory research on standard, formal interchange format of Petri net.

Key words: Meta model, WF-net, PNML, Transition rule