摘要
PNML(Petri网标记语言)是一种基于XML的Petri网的交换格式。因为可以用PNTD(Petri类型定义符)来定义Petri网的类型,PNML支持任何一种类型的Petri网。PNML主要用来在解决由于不同的Petri网类型而导致的问题。
The Petri Net Markup Language (PNML) is an XML-based interchange format for Petri nets. PNML supports any type of Petri net since new Petri net types can be defined by so-called Petri Net Type Definitions (PNTD).In this paper, we present PNML. Moreover, we present an extension called modular PNML. The Petri Net Markup Language (PNML) focuses on the problem of the different Petri net types.
出处
《系统仿真学报》
CAS
CSCD
2003年第z1期49-52,共4页
Journal of System Simulation