期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于家态的多事务工作流完整性分析
被引量：
4
1
作者
庞善臣
闫春钢
蒋昌俊
《电子学报》
EI
CAS
CSCD
北大核心
2006年第6期1163-1168,共6页
工作流技术是计算机应用领域的一个研究热点,而行之有效的建模方法和分析工具是工作流系统的关键,也是研究人员的研究重点.基于工作流的Petri网结构化建模方法,研究了同一品质多事务工作流的Petri网模型,分析了模型处理多种事务的能力,...
工作流技术是计算机应用领域的一个研究热点,而行之有效的建模方法和分析工具是工作流系统的关键,也是研究人员的研究重点.基于工作流的Petri网结构化建模方法,研究了同一品质多事务工作流的Petri网模型,分析了模型处理多种事务的能力,对以往研究中的不足和错误进行了补充和更正,给出了基于家态的模型结构完整性验证的一个充要条件.所得结果为工作流模型分析和验证提供了理论基础和依据,对于分析工作流系统处理事务的能力,提高事务处理效率有重要意义.
展开更多
关键词
PETRI
网
家态
工作流
多事务工作流网
完整性
在线阅读
下载PDF
职称材料
题名
基于家态的多事务工作流完整性分析
被引量：
4
1
作者
庞善臣
闫春钢
蒋昌俊
机构
同济大学计算机科学与工程系
出处
《电子学报》
EI
CAS
CSCD
北大核心
2006年第6期1163-1168,共6页
基金
国家973重点基础研究发展规划(No.2003C13316902
No.2004CB318001-3)
+4 种基金
国家自然科学基金(No.90412013
No.60503002
No.60534060)
上海市基础研究重点项目(05JC14063
03JC14071)
文摘
工作流技术是计算机应用领域的一个研究热点,而行之有效的建模方法和分析工具是工作流系统的关键,也是研究人员的研究重点.基于工作流的Petri网结构化建模方法,研究了同一品质多事务工作流的Petri网模型,分析了模型处理多种事务的能力,对以往研究中的不足和错误进行了补充和更正,给出了基于家态的模型结构完整性验证的一个充要条件.所得结果为工作流模型分析和验证提供了理论基础和依据,对于分析工作流系统处理事务的能力,提高事务处理效率有重要意义.
关键词
PETRI
网
家态
工作流
多事务工作流网
完整性
Keywords
Petri net
home state
workflow
multi-cases workflow model
soundness
分类号
TP302 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于家态的多事务工作流完整性分析
庞善臣
闫春钢
蒋昌俊
《电子学报》
EI
CAS
CSCD
北大核心
2006
4
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
