收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

一种基于不变量的工作流协同模型分解方法

葛季栋  胡海洋  周宇  胡昊  王栋毅  过晓波  
【摘要】:现代企业计算的业务过程越来越复杂,有很多分散且相对独立的组织机构,为了协同来自不同组织的业务过程,文中提出一种IOPN模型(面向交互的Petri网)用于描述跨组织的工作流协同,该模型包含组织内的过程模型和组织间的交互关系.为了确保IOPN模型能够被正确地执行,文中提出IOPN模型的弱合理性(relaxedsoundness)作为IOPN模型的正确性标准之一.IOPN模型是一种复合模型,其规模一般较大,采用基于状态空间的分析方法,容易产生状态空间爆炸问题,为此文中提出基于不变量的分解方法,能够将一个弱合理的无回路IOPN模型分解为一组顺序图,并提出相关定理:一个无回路IOPN模型是弱合理的当且仅当其可以被分解为一组合法的顺序图.

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 张昊;;基于工作流技术的高校教务管理系统[J];沈阳师范大学学报(自然科学版);2011年03期
2 黄晖;;需求信息管理的Petri网工作流模型[J];现代计算机(专业版);2011年14期
3 王文星;闻立杰;谭士杰;;基于完全有限前缀的完备日志生成算法[J];计算机集成制造系统;2011年08期
4 包得海;赵海阔;;Petri网在旅游管理系统中的应用[J];陇东学院学报;2011年04期
5 杨毅;杨新伦;;基于Petri网时间约束工作流的研究与应用[J];广西工学院学报;2011年02期
6 王朝霞;朱笑尘;欧阳春;WYNN Moe Thandar;闻立杰;;PLM系统中业务对象版本操作合规性检查的自动实现[J];计算机集成制造系统;2011年08期
7 张晶;;工作流数据挖掘中的隐含问题探究[J];煤炭技术;2011年09期
8 孙妍姑;;基于Petri网的网格工作流建模与优化[J];淮南师范学院学报;2011年04期
9 金涛;闻立杰;王建民;;行为因果关系的分类与判定[J];系统仿真学报;2011年S1期
10 ;[J];;年期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前4条
1 李绯;王维国;罗泽;阎保平;;集成网格服务的中国虚拟天文台工作流系统研究与设计[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
2 刘升平;诸叶平;;基于多主体的小麦生长模型系统的研究[A];中国农业信息科技创新与学科发展大会论文汇编[C];2007年
3 段学霞;王广立;张立群;王海涛;;一种支持流程建模的结构化流程挖掘算法[A];全国第19届计算机技术与应用(CACIS)学术会议论文集(下册)[C];2008年
4 王莉;李志蜀;殷锋;;基于网格工作流的政务协同研究[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
中国博士学位论文全文数据库 前10条
1 刘峰;基于网格服务的地理空间信息共享平台关键技术研究[D];山东科技大学;2007年
2 刘剑;面向服务体系结构的服务重组关键技术研究[D];华中科技大学;2006年
3 文元桥;协同地球科学计算环境的协同与共享研究[D];华中科技大学;2006年
4 闻立杰;基于工作流网的过程挖掘算法研究[D];清华大学;2007年
5 周峰;产品设计过程的建模、仿真及优化研究[D];大连理工大学;2008年
6 叶剑虹;Petri网若干关键技术的研究及其应用[D];电子科技大学;2009年
7 朱军;虚拟地理环境中基于多Agent的数据和计算协同研究[D];中国科学院研究生院(遥感应用研究所);2006年
8 汪大勇;基于P2P构架的分布式协同设计系统研究[D];西南交通大学;2008年
9 李嘉菲;基于工作流的业务过程管理关键技术研究[D];吉林大学;2007年
10 田珂;开放网络环境下工作流管理系统的技术研究[D];电子科技大学;2006年
中国硕士学位论文全文数据库 前10条
1 段修亭;工作流过程建模合理性分析与应用[D];河海大学;2005年
2 于庚;面向虚拟企业的工作流建模与正确性验证[D];山东大学;2005年
3 汪洋;基于工作流的纳税评估建模研究和系统实现[D];中南大学;2006年
4 陈宏广;一种基于多元模型的支持多建模语言的工作流管理系统[D];郑州大学;2006年
5 李展;基于Petri网的消防建审工作流系统的建模与实现[D];大连海事大学;2007年
6 帅波;铝加工业中精整过程资源分配模型的构建与应用研究[D];重庆大学;2008年
7 王远明;复杂仿真系统VV&A工作流技术研究[D];哈尔滨工业大学;2008年
8 曾艳林;基于Petri网的工作流过程建模的研究[D];大连海事大学;2007年
9 蒋鹏花;基于扩展Petri网的工作流模型技术的研究[D];燕山大学;2007年
10 陈荣辉;基于有向超图的工作流模型验证方法研究[D];广东工业大学;2008年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978