基于XML的生物代谢Petri网模型的标准化

针对分析生物代谢网络的需要 ,构建了生物代谢Petri网模型建模环境 ,并采用基于XML的Petri网标记语言PNML为标准 ,利用DOM实现XML解析 ,完成Petri网模型的标准化 ,通过对代谢网络Petri网模型实例的仿真 ,验证了标准化模型的正确性。

基于XML的SIPN表示与解析研究

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

Petri网关联矩阵与PNML描述之间的转换

PNML是一种基于XML的Petri网文件交换格式,支持多种Petri网类型,并提供了一种在不同Petri网工具间交换Petri网模型的途径。文中讨论了Petri网的关联矩阵和PNML描述之间的转换,给出了如何使用DOMAPI解析PNML文件及实现转换过程的技术细节。

Petri网可扩展性标记语言

PNML(Petri网标记语言)是一种基于XML的Petri网的交换格式。因为可以用PNTD(Petri类型定义符)来定义Petri网的类型,PNML支持任何一种类型的Petri网。PNML主要用来在解决由于不同的Petri网类型而导致的问题。

基于SIPN的PLC通用编程器

针对PLC编程器的缺陷,建立PLC通用编程器抽象模型,采用中间格式代码和配置文件链接生成可下载的PLC程序。利用信号解释Petri网对控制系统模型进行规格并将其转换成中间格式代码。抽象出不同机型PLC系统的特性信息,生成统一模式的XML类型配置文件。根据机型选择,通过PLC通用处理器提取相应配置文件,与中间格式代码链接,重组代码并生成与机型适配的可执行程序。