扩展逻辑Petri网理论及其在跨组织业务过程协同中的应用研究

项目名称： 扩展逻辑Petri网理论及其在跨组织业务过程协同中的应用研究

项目编号： No.61472228

项目类型： 面上项目

立项/批准年度： 2015

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

项目作者： 刘伟

作者单位： 山东科技大学

项目金额： 85万元

中文摘要： 随着云计算、服务计算的蓬勃发展和企业组织间电子商务实际需求的日益普遍，跨组织业务过程协同及其形式化建模验证和性能分析理论成为当前的研究热点。本项目研究扩展逻辑Petri网理论及其在跨组织业务过程协同中的应用。项目在数据、层次建模、优先级确定、时间、概率等方面对逻辑Petri网进行扩展，提出扩展逻辑Petri网性质分析技术和性能分析方法。在此基础上，根据跨组织业务过程建模的需求，提出扩展逻辑Petri网组合理论和扩展逻辑Petri网精炼细化理论，研究跨组织业务过程协同应满足的性质，给出验证性质的算法和性能评价方法。并研究上述理论在跨组织业务过程协同中的应用，开发编辑、模拟和分析扩展逻辑Petri网的形式化建模工具原型系统。项目力图挖掘一套适于电子商务环境的跨组织协同业务过程建模、验证、评价理论和机制，为跨组织业务流程整合提供方法论和技术支持。项目研究具有重要的应用价值和理论意义。

中文关键词： Petri网；形式化建模；形式化验证

英文摘要： With the development of cloud computing and service computing and the growing demand of interorganizational electronic commerce, the interorganizational business processes collaboration and its formal modeling, verification and performance analysis theory become a current hot research topic. This scientific research project studies extended logical Petri nets theory and its application in interorganizational business process collaboration. In this project, the extension to logical Petri nets in data, hierarchy, priority, time and probability etc are presented which is called extended Petri nets. Property analysis techniques and performance analysis methods for extended Petri nets are put forward. The composition and refinement theory of logical Petri nets are proposed according to the actual modeling demand. The application of the above theories in interorganizational business processes collaboration is studied. The satisfied properties of interorganizational business processes collaboration are presented and property analysis algorithms and performance analysis methods are given. This project endeavors to mine a set of theories and mechanisms for modeling, verification and evaluation of interorganizational business processes collaboration to provide the methodology and technical support for interorganizational business processes integration. The research is of important application value and theoretical significance.

英文关键词： Petri nets;Formal model;Formal verification