国家教育部博士点基金(200800011017)
- 作品数：5 被引量：7H指数：2
- 相关作者：黄雨张世琨袁崇义黄舒志胡文蕙更多>>
- 相关机构：北京大学教育部更多>>
- 发文基金：国家教育部博士点基金国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于Petri网的WSCI形式化模型分析
- 2009年
- WSCI是一种Web服务组合标记语言,对于一些关键的业务流程,任何设计错误都会造成重大损失,因此有必要为WSCI语言建立形式化模型并给予分析,从而保证正确的业务流程部署。本文主要给出了WSCI的分析方法,基于文献[1]给出了形式化模型,提出了该形式化模型下的一种网融合方法。该方法将表示进程的网模型与其表示例外处理和子流程的网模型进行合并,形成统一的网模型。本文最后还给出了在该网模型下的可达图分析方法,从而达到分析带有例外处理的WSCI形式化模型的目的。
- 黄雨胡文蕙高昕王捍贫
- 关键词：PETRINETSWEB服务组合
- 基于Petri网的协同设计过程模型
- 2011年
- 协同设计技术广泛应用于航天、船舶等重要军工领域,协同设计过程具有数据驱动,多层次,多状态等特点,目前仍缺少协同设计形式化过程模型,给不同学科、行业、部门之间的协同交互带来了很大的困难,因此有必要建立一个协同设计过程的形式化模型。给出了一个层次化的有色Petri网来描述协同设计过程,并根据协同设计过程特点,给出了不同的触发规则,刻画了任务的不同状态,并在此模型的形式理论基础上,开发了一个数据驱动工作流引擎。
- 何宇黄舒志刘淼黄雨
- 关键词：工作流
- 一种基于Petri网的RFID事件检测的形式化方法被引量：4
- 2012年
- 无线射频识别(RFID)采用唯一的电子标签识别物理对象,可高速收集大量目标数据.为向各类应用提供语义信息,RFID系统需从收集的数据中检测用户自定义的复合事件.通过提出一种基于Petri网的RFID事件检测方法,引入形式化的ED-net模型描述复合事件语义,并以此为基础实现一种事件检测方法.ED-net模型是对传统Petri网的一种扩展,提供了描述用户自定义类型、函数及表达式的能力,可精确描述RFID复合事件的属性及时域、非时域、参数化等约束条件.通过对RFID事件形式化描述,各种RFID事件可以统一在ED-net模型,并可自动化进行检测处理,避免了不同复合事件间公共子事件重复检测的问题.最后,经过实验测试和分析,验证了该形式化方法的有效性及其优势.
- 孙基男黄雨黄舒志张世琨袁崇义
- 关键词：PETRI网形式化方法
- 基于RFID发现服务的一种供应链建模技术被引量：3
- 2010年
- RFID发现服务负责从供应链不同合作伙伴的信息服务中搜集与某个（些）物品相关的动态RFID事件,作为数据集.为了便于对发现服务获得的数据集进行可视化分析,本文给出了一种供应链建模技术.规约了发现服务获得的数据集,这种数据集描述了物品的移动、包装/解包装、加工制造;同时,采用P2P和并行处理技术,给出了一种新的分布式RFID发现服务;然后,基于Petri网提出了一种新的建模工具“SupplyNet”,并给出了构建SupplyNet的算法.算法分析和实验表明这种构建SupplyNet的算法具有较高的效率和可用性.
- 李信鹏赵文刘殿兴袁崇义张世琨王立福
- 关键词：供应链PETRI网
- 基于扩展库所网的工作流过程规约和模式描述(英文)
- 2009年
- 通过扩展库所的属性,给出了一种新的Petri网模型,用来规约工作流过程和表示工作流模式,并提出了一种称为参数化模式的新模式。通过区别变迁和工作流路由,使得模型中的库所和变迁能够分别表示引擎的动作和需执行的任务。基于传统的Petri网的工作流模型不适合描述工作流过程所代表的行为,因此提出了ST触发规则表达网模型的语义。
- 黄雨胡文蕙张世琨
- 关键词：工作流过程建模工作流模式PETRI网
