Petri网可重写理论及在服务组合中的应用

项目名称： Petri网可重写理论及在服务组合中的应用

项目编号： No.60970001

项目类型： 面上项目

立项/批准年度： 2010

项目学科： 自动化技术、计算机技术

项目作者： 庞善臣

作者单位： 山东科技大学

项目金额： 30万元

中文摘要： Petri网建模在解决服务组合问题时遇到较大困难,组合后的模型描述无法继承原有模型的活性、有界、公平、可逆等属性，也无法继承原有分析过程.作为Petri网理论和应用研究的重要内容,本项目提出研究Petri网可重写理论是解决服务组合、重构的一个重要建模理论及分析方法。项目将集中研究Petri网可重写理论及分析方法,重点研究可重写Petri网的结构特点及分类,以建立Petri网可重写规则,深入研究重写后Petri网的性质(活性、有界性、公平性、可逆性、进程、语言等)保持及继承等基本问题,设计快速、动态的Petri网可重写生成器算法,实现Petri网快速、动态、自动重写,进一步研究可重写Petri网的系统建模能力,以及在缓解状态空间爆炸、降低分析复杂度等方面的优势,最后将理论研究成果应用在服务组合（可重构软件系统）的建模分析中,建立面向服务架构（SOA）系统可重构的形式化建模和分析方法.

中文关键词： Petri网；可重写；可重构系统；服务组合；算法

英文摘要：

英文关键词： Petri net；rewriting；reconfigurable system；services composition；algorithm