-
题名基于Petri网的扩展工作流模型研究
被引量：4
- 1
-
-
作者
傅作为
乐晓波
-
机构
长沙理工大学计算机与通信工程学院湖南长沙
-
出处
《计算机应用与软件》
CSCD
北大核心
2013年第9期173-175,233,共4页
-
基金
湖南省自然科学基金项目(08JJ3124)
-
文摘
为了满足工作流模型在建模能力上的要求,提出一种添加复位弧对工作流网进行扩展的方法,并给出该方法的形式化表示方法。通过一个保险索赔模型,利用可达图对该方法进行合理性分析。最后,证明了带复位弧工作流模型的合理性是不可判定的。
-
关键词
PETRI网
工作流
工作流网
可达图
复位弧合理性
-
Keywords
Petri net Workflow Worldlow net Reachability graph reset arcs Rationality
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名基于Petri网和定制技术的油田档案管理系统设计
被引量：1
- 2
-
-
作者
任伟建
朱珊
霍凤财
-
机构
东北石油大学电气信息工程学院
-
出处
《吉林大学学报（信息科学版）》
CAS
2016年第5期635-644,共10页
-
基金
国家自然科学基金资助项目(61374127)
黑龙江省博士后科研启动资金资助项目(LBH-Q12143)
黑龙江省青年基金资助项目(QC2013C066)
-
文摘
针对油田数字化档案馆中的系统模块化程度低及灵活性差等问题,提出基于Petri网和组件技术的功能定制开发方法。采用面向对象着色Petri网实现档案管理的层次化建模,并添加复位弧优化档案调用流程。利用关联矩阵和可达图及相关理论,对模型进行合理性分析。通过模型提取组件,建立组件信息库。利用信息库结合用户定制的业务逻辑,实现系统对组件的有序调用,完成业务定制功能。应用结果表明,该系统定制灵活、适应性强、档案调用速度快,满足实际需要。
-
关键词
PETRI网
面向对象着色Petri网
复位弧
组件
功能定制
-
Keywords
Petri net
object-oriented colored Petri net （OOCPN）
reset arc
components
function customization
-
分类号
TP315
[自动化与计算机技术—计算机软件与理论]
-
