检索结果-维普期刊中文期刊服务平台

基于面向对象Petri网的组织间工作流建模被引量：4: 1; 作者杨磊吴哲辉吴振寰《计算机应用与软件》 CSCD 北大核心 2014年第8期59-62,70,共5页; 工作流建模是工作流技术研究的基础,目前工作流建模多集中在组织内部业务流程建模方面,对于组织间工作流建模研究较少。提出一种用于组织间工作流建模的扩展的面向对象Petri网描述规则,并针对经济运行中常见的一种生产交易流程进行建模... 展开更多; 关键词工作流 petri网面向对象死锁; 在线阅读下载PDF 职称材料

工作流模型死锁的Petri网分析被引量：3: 2; 作者谭玲郑栋 +1 位作者顾庆陈道蓄《计算机科学》 CSCD 北大核心 2006年第7期111-114,共4页; Petri网具有坚实的理论基础和易于使用的图形表示,是一种理想的建模和分析工具,因此在工作流的建模和分析方面具有广泛的应用。本文应用Petri网的理论对于工作流模型中的死锁进行分析,给出了解决死锁的基本算法,并分析了这些算法的优缺... 展开更多; 关键词工作流 petri网 WF-NET 死锁可达树可达图; 在线阅读下载PDF 职称材料

基于Petri网的工作流模型的分析被引量：6: 3; 作者冯卫兵郝克刚《计算机工程与应用》 CSCD 北大核心 2007年第3期194-197,共4页; 通过模型分析发现所描述的过程定义中的设计错误,以便对业务过程重构提供正确的指导和科学的依据。首先将信牌驱动模型转化为Petri网,接着将Petri网进行必要化简,最后对化简后的Petri网进行死锁等分析。; 关键词工作流模型 petri网死锁; 在线阅读下载PDF 职称材料

一种工作流安全策略分析方法被引量：3: 4; 作者刘道斌郭莉白硕《计算机研究与发展》 EI CSCD 北大核心 2008年第6期967-973,共7页; 工作流系统中经常会发生来自系统内部人员的欺骗活动,职责分离是一种有效地防止内部欺骗的安全机制.讨论了工作流执行时的安全策略问题,给出了工作流直观的Petri网模型描述,Petri网模型清晰地刻画了工作流系统中所包含的任务以及任务与... 展开更多; 关键词工作流 petri网职责分离安全策略死锁; 在线阅读下载PDF 职称材料

基于逻辑工作流网的有限无死锁组合被引量：10: 5; 作者陈金栋刘伟 +1 位作者冯新刘雷《山东科技大学学报（自然科学版）》 CAS 北大核心 2020年第5期89-97,共9页; 以逻辑工作流网作为描述过程模型的方法,提出了逻辑工作流网的有限组合,以状态转换图来描述工作流网的可达逻辑活动序列。根据死锁的充分条件,提出状态映射用以判断两个工作流网组合后出现的死锁。通过删除进入死锁的逻辑活动序列,提出... 展开更多; 关键词 petri网逻辑工作流网死锁组合多集; 在线阅读下载PDF 职称材料

题名基于面向对象Petri网的组织间工作流建模被引量：4: 1; 作者杨磊吴哲辉吴振寰; 机构山东科技大学经济管理学院山东科技大学信息科学与工程学院; 出处《计算机应用与软件》 CSCD 北大核心 2014年第8期59-62,70,共5页; 基金国家自然科学基金重大研究计划项目(90718011); 文摘工作流建模是工作流技术研究的基础,目前工作流建模多集中在组织内部业务流程建模方面,对于组织间工作流建模研究较少。提出一种用于组织间工作流建模的扩展的面向对象Petri网描述规则,并针对经济运行中常见的一种生产交易流程进行建模。得到单个对象和系统整体的面向对象Petri网模型,然后在此基础上进行系统结构活性和有界性分析。通过针对实际问题的建模验证,阐明了该规则的有效性和实用性。; 关键词工作流 petri网面向对象死锁; Keywords workflow petri net object-oriented deadlock; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名工作流模型死锁的Petri网分析被引量：3: 2; 作者谭玲郑栋顾庆陈道蓄; 机构南京大学软件新技术国家重点实验室; 出处《计算机科学》 CSCD 北大核心 2006年第7期111-114,共4页; 基金国家863项目支持项目编号:2004AA112090。; 文摘 Petri网具有坚实的理论基础和易于使用的图形表示,是一种理想的建模和分析工具,因此在工作流的建模和分析方面具有广泛的应用。本文应用Petri网的理论对于工作流模型中的死锁进行分析,给出了解决死锁的基本算法,并分析了这些算法的优缺点。最后给出了一个实例:软件测试过程模型。; 关键词工作流 petri网 WF-NET 死锁可达树可达图; Keywords workflow, petri-net, WF-net, deadlock, Reachability-tree, Reachablility-graphic; 分类号 TP393 [自动化与计算机技术—计算机应用技术] TP399 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于Petri网的工作流模型的分析被引量：6: 3; 作者冯卫兵郝克刚; 机构西安科技大学基础部西北大学计算机科学系; 出处《计算机工程与应用》 CSCD 北大核心 2007年第3期194-197,共4页; 基金国家自然科学基金资助项目(60373108)。; 文摘通过模型分析发现所描述的过程定义中的设计错误,以便对业务过程重构提供正确的指导和科学的依据。首先将信牌驱动模型转化为Petri网,接着将Petri网进行必要化简,最后对化简后的Petri网进行死锁等分析。; 关键词工作流模型 petri网死锁; Keywords workflow model petri net deadlock; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名一种工作流安全策略分析方法被引量：3: 4; 作者刘道斌郭莉白硕; 机构中国科学院计算技术研究所信息智能与信息安全中心; 出处《计算机研究与发展》 EI CSCD 北大核心 2008年第6期967-973,共7页; 基金国家"八六三"高技术研究发展计划基金项目(2001AA142110)~~; 文摘工作流系统中经常会发生来自系统内部人员的欺骗活动,职责分离是一种有效地防止内部欺骗的安全机制.讨论了工作流执行时的安全策略问题,给出了工作流直观的Petri网模型描述,Petri网模型清晰地刻画了工作流系统中所包含的任务以及任务与角色的对应关系.采用Prolog语言描述了工作流执行时的动态职责分离安全规则,在此基础上,运用逻辑推理的方法分析职责分离安全规则,目的是找出所有满足安全规则的有效执行链.通过分析找出所有满足安全规则的有效执行链.; 关键词工作流 petri网职责分离安全策略死锁; Keywords workflow petri net separation of duties security policy deadlock; 分类号 TP393.08 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于逻辑工作流网的有限无死锁组合被引量：10: 5; 作者陈金栋刘伟冯新刘雷; 机构山东科技大学计算机科学与工程学院; 出处《山东科技大学学报（自然科学版）》 CAS 北大核心 2020年第5期89-97,共9页; 基金山东科技大学研究生科技创新项目(SDKDYC190333)。; 文摘以逻辑工作流网作为描述过程模型的方法,提出了逻辑工作流网的有限组合,以状态转换图来描述工作流网的可达逻辑活动序列。根据死锁的充分条件,提出状态映射用以判断两个工作流网组合后出现的死锁。通过删除进入死锁的逻辑活动序列,提出标准伙伴状态转换图用以表述无死锁组合的活动序列。最后提出判断有限组合是否存在死锁的方法,并用一个简单的电子商务实例说明了方法的有效性。; 关键词 petri网逻辑工作流网死锁组合多集; Keywords petri net logical workflow net deadlock composition multiple set; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于面向对象Petri网的组织间工作流建模	杨磊吴哲辉吴振寰	《计算机应用与软件》 CSCD 北大核心	2014	4	在线阅读下载PDF 职称材料
2	工作流模型死锁的Petri网分析	谭玲郑栋顾庆陈道蓄	《计算机科学》 CSCD 北大核心	2006	3	在线阅读下载PDF 职称材料
3	基于Petri网的工作流模型的分析	冯卫兵郝克刚	《计算机工程与应用》 CSCD 北大核心	2007	6	在线阅读下载PDF 职称材料
4	一种工作流安全策略分析方法	刘道斌郭莉白硕	《计算机研究与发展》 EI CSCD 北大核心	2008	3	在线阅读下载PDF 职称材料
5	基于逻辑工作流网的有限无死锁组合	陈金栋刘伟冯新刘雷	《山东科技大学学报（自然科学版）》 CAS 北大核心	2020	10	在线阅读下载PDF 职称材料