期刊文献+
共找到57篇文章
< 1 2 3 >
每页显示 20 50 100
一种基于模式组件的工作流管理系统构建方法 被引量:7
1
作者 张峰 王晓琳 曾广周 《计算机工程》 CAS CSCD 北大核心 2006年第2期88-90,共3页
从描述流程控制特征的工作流模式出发,提出了一种基于工作流模式的工作流模型,给出了先将工作流模式映射到工作流模式组件,再构建基于模式组件的工作流管理系统的方法。
关键词 工作流管理系统 工作流模式 工作流模式组件 扩展petri
下载PDF
Petri网融合蚁群算法的物流配送路径规划 被引量:7
2
作者 朱伟 徐克林 +1 位作者 孙禹 高丽 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2011年第12期2229-2234,共6页
为实现物流配送路径的全局优化,提出Petri网融合蚁群算法.引入一种扩展Petri网模型并介绍了它的使能规则,提出"动态托肯"和"静态托肯"的概念,介绍了它们的数据结构及其在网络运行时的行为特征:动态托肯携带各自的... 为实现物流配送路径的全局优化,提出Petri网融合蚁群算法.引入一种扩展Petri网模型并介绍了它的使能规则,提出"动态托肯"和"静态托肯"的概念,介绍了它们的数据结构及其在网络运行时的行为特征:动态托肯携带各自的变迁序列及变迁成本等信息,静态托肯记录库所中最优动态托肯的变迁特征.改进了蚁群算法的概率选择规则,在选择规则中加入配送约束检验因子,对不符合配送约束的变迁以概率0将其排除.改变了禁忌表的设置方式,以蚁群共享禁忌表替代传统禁忌表,既保证了对配送路径的全网遍历,又加快了问题的解算速度.算例比对说明:用Petri网融合蚁群算法优化物流配送路径问题,可快速有效地获得问题的最优解或近似最优解. 展开更多
关键词 扩展petri 动态托肯 静态托肯 petri蚁群算法 共享禁忌表
下载PDF
一种基于扩展Petri网的工作流建模方法 被引量:2
3
作者 陈传波 李梅生 《计算机工程与科学》 CSCD 2004年第12期4-7,共4页
工作流技术是计算机应用领域的一个新的研究热点。将Petri网引入工作流模型是一种常见的建模方法。但是 ,传统的PN不能直接用于描述比较复杂的工作流模型。本文根据C .A .Ellis定义的信息控制网、W .M .P .vanderAalst定义的工作流网 ,... 工作流技术是计算机应用领域的一个新的研究热点。将Petri网引入工作流模型是一种常见的建模方法。但是 ,传统的PN不能直接用于描述比较复杂的工作流模型。本文根据C .A .Ellis定义的信息控制网、W .M .P .vanderAalst定义的工作流网 ,结合工作流本身的特点 ,对Petri网进行扩展 ,提出了一种描述工作流模型的新方法———信息控制Petri网 。 展开更多
关键词 工作流模型 扩展petri 工作流 工作流建模 工作流技术 表示 描述 信息控制 定义 研究热点
下载PDF
基于高级Petri网的工作流建模研究与仿真分析 被引量:1
4
作者 沈美 刘同义 +1 位作者 于翔 丁香乾 《计算机工程与应用》 CSCD 北大核心 2006年第32期200-203,共4页
基于颜色、时间及层次扩展的高级Petri网,克服了传统Petri网难于处理复杂问题的缺点。将其应用于服装行业ASP平台进销存系统中,建立了相关过程模型,解决了实际业务过程中的复杂性。利用仿真工具,对模型进行了仿真分析,并对其结果进行了... 基于颜色、时间及层次扩展的高级Petri网,克服了传统Petri网难于处理复杂问题的缺点。将其应用于服装行业ASP平台进销存系统中,建立了相关过程模型,解决了实际业务过程中的复杂性。利用仿真工具,对模型进行了仿真分析,并对其结果进行了定性分析,验证了此模型的结构是正确、合理的,且性能优化。 展开更多
关键词 petri 工作流 过程建模 工作流 扩展petri
下载PDF
扩展Petri网及其子划分 被引量:1
5
作者 陈银凤 吴承勇 叶新铭 《内蒙古农业大学学报(自然科学版)》 CAS 2005年第3期87-90,共4页
Petri网是由德国的Carl Adam Petri提出,后来由Peterson加以阐述。它是1种适用于多种系统的图形化、数学化建模工具,为描述和研究具有并行、异步、分布式和随机性等特征的信息加工系统提供了强有力的手段,但用Petri网建模有其局限性,本... Petri网是由德国的Carl Adam Petri提出,后来由Peterson加以阐述。它是1种适用于多种系统的图形化、数学化建模工具,为描述和研究具有并行、异步、分布式和随机性等特征的信息加工系统提供了强有力的手段,但用Petri网建模有其局限性,本文就其局限性提出一些扩展方法,最后提出Petri网的子划分。 展开更多
关键词 petri 扩展 模型 子划分 扩展petri
下载PDF
多播路由协议PIM-SM的扩展Petri网形式分析 被引量:2
6
作者 陆正福 王敏 王国栋 《云南大学学报(自然科学版)》 CAS CSCD 2004年第2期127-131,共5页
PIM-SM是一类重要的多播路由协议.在对PIM-SM详细的机制分析的基础上用扩展的库所/变迁网对其进行形式化的描述,为其计算机仿真和具体实现奠定了形式化和自动化的基础.
关键词 IP多播路由 PIM-SM协议 扩展petri 稀疏模式
原文传递
MDA框架中CIM业务流模型与PIM工作流模型的一致性验证
7
作者 李宗花 常逢佳 《计算机应用与软件》 北大核心 2023年第2期7-11,59,共6页
对平台无关模型(PIM)层次上的工作流模型进行细化操作,往往会造成计算无关模型(CIM)业务流与PIM工作流不一致的后果。对此,提出业务流模型与工作流模型的一致性验证方法。定义三种不同情形的细化,并利用扩展Petri网形式化描述每种细化... 对平台无关模型(PIM)层次上的工作流模型进行细化操作,往往会造成计算无关模型(CIM)业务流与PIM工作流不一致的后果。对此,提出业务流模型与工作流模型的一致性验证方法。定义三种不同情形的细化,并利用扩展Petri网形式化描述每种细化的语义条件;设计语义一致性验证步骤;演示语义一致性验证的过程和结果。实验结果表明,该方法可有效地验证PIM工作流模型在细化过程中是否改变了系统的业务流,以及修改的程度。 展开更多
关键词 CIM业务流模型 PIM工作流模型 扩展petri 一致性验证
下载PDF
基于DAML-S和扩展Petri网的Web业务流程建模方法
8
作者 朱益琼 蔡鸿明 徐博艺 《上海交通大学学报》 EI CAS CSCD 北大核心 2006年第11期1842-1847,共6页
为实现Web上业务流程动态装载和调用以及跨企业业务流程的动态集成目标,提出了一种Web上的业务流程建模方法.该方法扩展了具有良好过程建模性能的Petri网,并将其与Web服务描述的本体语言DAML-S相结合.首先将Petri网扩展为业务流程建模,... 为实现Web上业务流程动态装载和调用以及跨企业业务流程的动态集成目标,提出了一种Web上的业务流程建模方法.该方法扩展了具有良好过程建模性能的Petri网,并将其与Web服务描述的本体语言DAML-S相结合.首先将Petri网扩展为业务流程建模,用DAML-S来描述流程模型,然后利用结合了DAML-S的UDDI注册中心来查找最佳服务,并在执行阶段动态调用合作伙伴提供的Web服务,从而实现了在企业间相对通用的一些业务流程的动态集成.通过一个实例对整个过程进行了验证讨论. 展开更多
关键词 业务流程建模 DAML—S 扩展petri WEB服务
下载PDF
基于工作流技术的CSCW系统研究与实现 被引量:2
9
作者 王俊伟 和晓军 《有色矿冶》 2007年第1期65-68,共4页
工作流管理技术是计算机支持协同工作(CSCW)中的一个重要领域。文章介绍了一种基于扩展Petri网的工作流管理系统解决方案,给出了工作流系统的各部分设计,实现了一个参与者协同办公流程。将工作流管理应用于CSCW能够提高协同工作的效率。
关键词 工作流管理 CSCW 扩展petri J2EE
下载PDF
基于扩展Petri网的石化企业应急预案建模方法 被引量:2
10
作者 查俊 亢海洲 +2 位作者 袁文彬 吕运容 朱建新 《化工自动化及仪表》 CAS 2017年第6期575-580,共6页
构建基于指令触发的扩展Petri网石化企业应急预案模型,提出了各组织部门之间传递消息的形式化描述方法和基于指令触发的应急任务执行状态(未执行/执行中/已完成)变迁算法,并对它规定的应急处置流程和消息传递给出了详细的定义和描述。
关键词 数字化应急预案建模 石化企业 扩展petri 指令触发 任务关联
下载PDF
一种支持组合事务的执行语义分析方法 被引量:2
11
作者 梅晓勇 李师贤 +1 位作者 黄昌勤 郑小林 《电子学报》 EI CAS CSCD 北大核心 2012年第7期1386-1396,共11页
为了保证组合事务应用需求,不可避免引入失败恢复机制,以提供可靠的执行语义.本文提出一种基于向前、向后和替代恢复的综合事务恢复机制的执行语义分析技术,借助Petri网的动态执行推演技术和数据流分析技术,讨论聚合模式执行语义,最终... 为了保证组合事务应用需求,不可避免引入失败恢复机制,以提供可靠的执行语义.本文提出一种基于向前、向后和替代恢复的综合事务恢复机制的执行语义分析技术,借助Petri网的动态执行推演技术和数据流分析技术,讨论聚合模式执行语义,最终实现组合事务失败恢复行为的无缝添加/删除.通过对旅行预订组合事务实例分析,表明该语义分析方法是可行的. 展开更多
关键词 组合事务 失败恢复机制 执行语义分析 扩展petri
下载PDF
肉牛养殖管理平台的设计与实现 被引量:2
12
作者 吴敏宁 《榆林学院学报》 2018年第2期82-85,共4页
牛肉供应链具有链条长,环节多,动态化,风险因素多的特点,养殖是肉牛生产过程中重要的一个环节。在肉牛养殖环节中,工作流管理将肉牛养殖过程中产生的所有指标数据与过程数据通过不同的组织结构存储于特定的数据仓库中,可实现牛肉质量的... 牛肉供应链具有链条长,环节多,动态化,风险因素多的特点,养殖是肉牛生产过程中重要的一个环节。在肉牛养殖环节中,工作流管理将肉牛养殖过程中产生的所有指标数据与过程数据通过不同的组织结构存储于特定的数据仓库中,可实现牛肉质量的跟踪与溯源,可全面分析组织管理中的关联性与养殖环节所产生的风险因素。为了降低建模复杂度,提高模型的可读性和重用性,利用扩展Petri网来描述和分析养殖环节工作流,来确定该环节质量问题的可能路径,确定危险因素所在点。在此基础上,分析、设计和实现肉牛养殖管理平台,可提高肉牛养殖企业生产效率,快速定位养殖环节质量问题根源,提高牛肉质量安全。 展开更多
关键词 牛肉供应链 工作流 扩展petri 肉牛养殖
下载PDF
基于扩展Petri网的工作流建模及应用 被引量:1
13
作者 钟越 马光思 柯贤波 《现代电子技术》 2007年第9期106-108,共3页
为了更好地对工作流模型的验证和性能分析,采用扩展Petri网作为工作流建模工具,给出了工作流模型向扩展Petri网模型的转化规则,建立了实例模型,论述了含有并行成分系统的结构特性,分析验证了模型的正确性。实践证明,用扩展Petri网建立... 为了更好地对工作流模型的验证和性能分析,采用扩展Petri网作为工作流建模工具,给出了工作流模型向扩展Petri网模型的转化规则,建立了实例模型,论述了含有并行成分系统的结构特性,分析验证了模型的正确性。实践证明,用扩展Petri网建立工作流模型能提高模型的准确度,减少应用传统建模方法的冗余工作量。 展开更多
关键词 扩展petri 工作流 验证 建模
下载PDF
Petri网在工程机械故障诊断中的应用
14
作者 张铮 《机电工程技术》 2004年第5期50-52,共3页
Petri网是信息处理系统描述和建模的有力工具。扩展Petri网既可以用图形直观地描述设备故障的发生和传播,又可以通过状态方程精确地分析系统行为。本文通过工程机械故障诊断实例测试,表明该方法是快速、准确的。
关键词 扩展petri 故障诊断 工程机械
下载PDF
一种新型扩展Petri网理论方法研究
15
作者 宋亚勤 汪静 《现代计算机》 2015年第7期13-16,共4页
Petri网是一种形式化的建模方法 ,它非常适合描述系统中进程或部件的顺序、并发、冲突以及同步等关系。总结各类Petri网在系统建模中的不足和优势,在原有Petri网的基础上提出一种增广Petri网,即带抑止弧和使能弧的着色Petri网,这种新型... Petri网是一种形式化的建模方法 ,它非常适合描述系统中进程或部件的顺序、并发、冲突以及同步等关系。总结各类Petri网在系统建模中的不足和优势,在原有Petri网的基础上提出一种增广Petri网,即带抑止弧和使能弧的着色Petri网,这种新型的Petri网具有很强的模拟描述能力,同时可以对具有优先权性质的系统进行建模,因此对该新型扩展Petri网的研究具有十分重要的意义。 展开更多
关键词 原型petri 扩展petri 抑制弧 使能弧
下载PDF
基于扩展Petri网的新疆肉牛养殖溯源模型设计 被引量:2
16
作者 王森 李志刚 《江苏农业科学》 北大核心 2016年第3期413-416,共4页
在"一带一路"时代背景下,新疆的畜牧业发展迎来春天,且伴随着人们生活水平的不断提高,对食品质量安全更为关注。针对新疆的肉牛养殖环节,构建、验证基于扩展Petri网的肉牛养殖工作流模型,并结合射频识别(radio frequency iden... 在"一带一路"时代背景下,新疆的畜牧业发展迎来春天,且伴随着人们生活水平的不断提高,对食品质量安全更为关注。针对新疆的肉牛养殖环节,构建、验证基于扩展Petri网的肉牛养殖工作流模型,并结合射频识别(radio frequency identification,RFID)技术搭建溯源模型,该模型可提高数据采集的效率与精度,加快肉牛养殖企业的信息化、自动化建设步伐,实现肉牛养殖过程的可追溯性。 展开更多
关键词 肉牛养殖 溯源模型 扩展petri RFID技术
下载PDF
基于扩展Petri网的飞机装配系统设备调度方法 被引量:1
17
作者 柴猛 严金凤 《航空制造技术》 2017年第10期104-108,共5页
针对飞机装配过程中设备调度的复杂性,提出了基于扩展Petri网构建设备调度模型的新方法。结合飞机装配的实际特点,论述了模型定义过程和建立方法。该模型以面向对象Petri网表达飞机装配过程,以赋时Petri网将装配过程与辅助设备相关联,... 针对飞机装配过程中设备调度的复杂性,提出了基于扩展Petri网构建设备调度模型的新方法。结合飞机装配的实际特点,论述了模型定义过程和建立方法。该模型以面向对象Petri网表达飞机装配过程,以赋时Petri网将装配过程与辅助设备相关联,利用混合算法以时间和设备利用率为目标对模型进行优化求解。以某模型飞机中机身装配过程为例,应用该方法进行建模并求解,实例应用与分析表明该方法对实际装配设备调度具有较大的指导意义。 展开更多
关键词 飞机装配 设备调度 扩展petri 混合算法
下载PDF
基于扩展Petri网的汽车CPS建模
18
作者 陈浩铎 张立臣 《现代计算机》 2022年第11期106-111,共6页
信息物理融合系统是将物理世界与信息系统混合的混合系统,包括了设备感知、网络通信、计算与控制设备等多种组件,其系统操作既包括离散又包含连续的过程。针对上述CPS诸多复杂的特性,将以一种以数据驱动事件的扩展Petri网模型对CPS进行... 信息物理融合系统是将物理世界与信息系统混合的混合系统,包括了设备感知、网络通信、计算与控制设备等多种组件,其系统操作既包括离散又包含连续的过程。针对上述CPS诸多复杂的特性,将以一种以数据驱动事件的扩展Petri网模型对CPS进行建模。首先,对事件的描述引入时间和空间属性;其次,引入条件变迁描述库所令牌的变化情况;最后对装有前撞预警系统的车辆进行Petri网的建模分析。 展开更多
关键词 信息物理融合系统 扩展petri 条件变迁
下载PDF
基于IP多播的SNMP研究 被引量:1
19
作者 陆正福 杨洋 +1 位作者 何英 王国栋 《微计算机应用》 2007年第4期380-385,共6页
详细分析了基于IP多播实现SNMP网管协议的必要性与可行性,基于UCD—SNMP软件包在Linux环境下研究了实现方法,利用扩展的库所/变迁网对SNMP管理者及代理进行了形式化描述。
关键词 SNMP IP多播 扩展petri
下载PDF
A New Method of Semantic Network Knowledge Representation Based on Extended Petri Net 被引量:1
20
作者 Ru Qi Zhou 《Computer Technology and Application》 2013年第5期245-253,共9页
Abstract: It was discussed that the way to reflect the internal relations between judgment and identification, the two most fundamental ways of thinking or cognition operations, during the course of the semantic netw... Abstract: It was discussed that the way to reflect the internal relations between judgment and identification, the two most fundamental ways of thinking or cognition operations, during the course of the semantic network knowledge representation processing. A new extended Petri net is defined based on qualitative mapping, which strengths the expressive ability of the feature of thinking and the mode of action of brain. A model of semantic network knowledge representation based on new Petri net is given. Semantic network knowledge has a more efficient representation and reasoning mechanism. This model not only can reflect the characteristics of associative memory in semantic network knowledge representation, but also can use Petri net to express the criterion changes and its change law of recognition judgment, especially the cognitive operation of thinking based on extraction and integration of sensory characteristics to well express the thinking transition course from quantitative change to qualitative change of human cognition. 展开更多
关键词 Semantic network petri net knowledge representation qualitative mapping.
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部