PETRI网用于平行处理的研究

本课题采用以PETRI网系统作为研究并行处理模型工具，使网的并发性质与各种实际系统中的并行处理问题紧密结合起来。我们完成了用网作为并行系统建模与实现工具的形式方法，特别是着色网；提交了一种网的面向对象的方法，进而在对象的一般特征交之处引入一 些特殊的对象，使之具有主动发送信息的功能，为网与面向AGENT技术的进一步结合提出了范例；证明了一种表示流关系的有向弧上权重不总是为1的扩展自由选择网系统的重要特性，活性与安全性，和其特完子系统的性质等价；结合了网与并行程序设计，给出了一种类似于门卫指令的网语言。这些成果可以间接地为知识经济作贡献，特别是通信产业，并产生巨大的经济效益与社会效益。