逻辑Petri网理论及其合成运算性质研究-东篱科研大数据发现系统（DRDS）

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

逻辑Petri网理论及其合成运算性质研究

项目名称：逻辑Petri网理论及其合成运算性质研究
项目类别：面上项目
批准号：60773034
申请代码：F020301
项目来源：国家自然科学基金
研究期限：2008-01-01-2010-12-31

项目负责人：杜玉越
负责人职称：教授
依托单位：山东科技大学
批准年度：2007

中文摘要：

本课题深入分析了逻辑Petri网的等价谱系，研究了逻辑表达式的标准析取范式及其性质，从理论上证明了逻辑Petri网与带抑制弧Petri网的等价性，并给出了由逻辑Petri网到等价带抑制弧Petri网的构造算法。提出了一种向量匹配方法，解决了逻辑Petri网中逻辑表达式的标准化问题，并给出了一种基于逻辑Petri网的演化推理技术。定义了逻辑变迁对应的使能向量，并提出了一系列逻辑变迁使能向量与网标识向量的匹配规则。研究了逻辑Petri网的语言表达能力和基于语言的推理能力，提出了一种标注逻辑Petri网方法。研究了逻辑Petri网的两个子类（T-Restricted和T-Fair逻辑Petri网）的性质继承问题，给出了T-Restricted和T-Fair组织间逻辑工作流网保持健壮性的充分必要条件, 并提出了一种由组织间逻辑工作流网的静态结构验证其健壮性的方法。给出了一种基于柔性活动的动态工作流模型设计方法和一种基于动态描述逻辑的动态工作流建模技术。研究了逻辑Petri网在电子商务、Web服务组合等方面的应用，例证了本课题建模分析技术的正确性和有效性。

中文主题词：逻辑Petri网；等价谱系；合成运算；性质继承；动态工作流

结论摘要：

英文主题词logic Petri net, equivalence genealogy, Synthetic operation; Property inheritance; Dynamic workflow

成果综合统计