论文部分内容阅读
基于XML设计了一种Petri网(SIPN)的交换格式。XML是具有数据描述功能、高度结构性及可验证性的语言,首先设计了SIPN的Schema文件,并根据该Schema文件将SIPN图形转化成XML格式文件,该文件包含了SIPN的图形和语义信息。利用DOM对该XML格式的SIPN模型进行解析,可以提取模型的关键信息,为应用程序提供一个接口,这可以推动基于Petri网的应用程序开发,实例证明该方法具有很好的实用性和可扩展性,可以用于其它扩展Petri网格式的设计。