交互式Petri网及其兼容性研究-东篱科研大数据发现系统（DRDS）

位置：立项数据库 > 立项详情页

交互式Petri网及其兼容性研究

项目名称：交互式Petri网及其兼容性研究
项目类别：青年科学基金项目
批准号：61202016
申请代码：F020106
项目来源：国家自然科学基金
研究期限：2013-01-01-2015-12-31

项目负责人：刘关俊
依托单位：同济大学
批准年度：2012

中文摘要：

Web服务组合与跨组织工作流在学术界与工业界得到广泛研究与应用，它们在逻辑层可以抽象为一组子系统通过消息的发送与接收进行交互协同。提出交互式Petri网（IPN）以模拟这些系统。基于IPN可达性，定义0、1、2、3级兼容性以刻画子系统间不同的协同能力。给出IPN的平凡拓展网，证明IPN的3级兼容性等价于其平凡拓展网的活和有界性,但其判定是co-NP-难的。从子系统执行逻辑、消息库所的输出以及事件的外部使能条件等三个维度，将IPN分为16个具有不同结构特征的子类，其目的是针对不同类别研究其基于网结构的兼容性判定与控制。对其中一些子类已给出判定其兼容性、活性的充要条件。在已有工作基础上继续研究IPN的0、1、2级兼容性问题的复杂度，以及与平凡拓展网的性质（如活性、可重复性等）之间的关系；基于网结构判定其他子类兼容性的充要条件；兼容性的控制问题；基于理论成果开发IPN分析软件。

中文主题词： Petri网；交互式系统；兼容性；复杂度；行为模型

结论摘要：

英文主题词Petri net；interactive systems；compatibility；complexity；behavior model

成果综合统计