期刊文献+
共找到395篇文章
< 1 2 20 >
每页显示 20 50 100
基于着色网的Agent会话协议规范与会话建模 被引量:1
1
作者 凌兴宏 丁秋林 伍贝妮 《计算机应用》 CSCD 北大核心 2003年第7期66-68,共3页
会话以及与之相关的会话协议的概念,作为用来刻画Agent之间交互的抽象机制已经研究多年。然而对这些抽象的形式化规范还没有达成共识。文中基于着色网的形式化表示,对多Agent系统中Agent之间复杂并行的会话进行建模。着色网不但可以用... 会话以及与之相关的会话协议的概念,作为用来刻画Agent之间交互的抽象机制已经研究多年。然而对这些抽象的形式化规范还没有达成共识。文中基于着色网的形式化表示,对多Agent系统中Agent之间复杂并行的会话进行建模。着色网不但可以用来描述简单的会话协议,也可以描述由简单会话协议合成的复杂会话,刻画会话的并行特征以及复杂会话运行时的状态。 展开更多
关键词 会话 会话协议 着色网 建模
下载PDF
着色网到基本网的等价变换 被引量:1
2
作者 唐培和 《广西工学院学报》 CAS 1995年第3期53-57,共5页
本文证明了任意一个着色网都可以转换成与其等价的基本网,并给出了这种等价转换的算法。为利用基本网的分析技术分析着色网的性能提供了一种方法。
关键词 着色网 等价变换 基本 算法
下载PDF
基于NSGA-II的着色Petri网维修任务资源分配
3
作者 刘涛 雷涛 舒龙诚 《科学技术与工程》 北大核心 2024年第30期13189-13198,共10页
针对民用飞机在设计维修任务过程模型时主要关注维修拆卸流程中的顺序问题,但是缺乏对维修资源分配问题的分析。提出了一种基于NSGA-II的着色Petri网维修资源分配方法,以提高民用飞机维修任务过程的维修效率并降低维修成本。该方法利用... 针对民用飞机在设计维修任务过程模型时主要关注维修拆卸流程中的顺序问题,但是缺乏对维修资源分配问题的分析。提出了一种基于NSGA-II的着色Petri网维修资源分配方法,以提高民用飞机维修任务过程的维修效率并降低维修成本。该方法利用着色Petri网工具建立维修任务过程模型,实现对维修过程的可视化,使得维修任务设计人员分析整个维修过程,确定维修顺序与维修资源的从属关系。其次,建立了以最大化维修效率和最小化维修成本为多目标的优化模型,并运用NSGA-II算法对最优维修过程进行求解,实现维修任务的最优化维修资源分配。通过大气数据模块的维修任务拆卸实例,验证了本文方法的有效性,可避免资源重复分配,提高维修任务过程效率,降低维修成本。该方法在实际应用中具有较高的实用性和参考价值。 展开更多
关键词 维修任务 NSGA-II算法 着色PETRI 资源分配
下载PDF
一种扩展了价格信息的着色Petri网及其应用 被引量:4
4
作者 刘峰 张伟 《计算机应用》 CSCD 北大核心 2007年第10期2501-2503,共3页
基于实际业务流程建模中成本预算分析的需要,在着色网的基础上扩展了价格信息,提出了价格着色网。讨论了价格着色网的变迁规则,并以一个业务流程实例介绍了价格着色网的分析技术及其应用,实验结果表明着色网扩展价格信息是可行的而且是... 基于实际业务流程建模中成本预算分析的需要,在着色网的基础上扩展了价格信息,提出了价格着色网。讨论了价格着色网的变迁规则,并以一个业务流程实例介绍了价格着色网的分析技术及其应用,实验结果表明着色网扩展价格信息是可行的而且是有效的。 展开更多
关键词 价格信息 着色网 价格着色网 业务流程管理
下载PDF
基于着色Petri网的地铁系统运营期应急管理流程建模与分析 被引量:1
5
作者 梁伟婷 杨高升 《中国安全生产科学技术》 CAS CSCD 北大核心 2023年第5期179-185,共7页
为解决现有地铁应急预案中文本式管理流程难以直观展现各环节的联动性问题,以系统分析视角梳理我国地铁系统一般应急管理流程,基于着色Petri网理论构建地铁系统运营期应急流程模型;运用CPN Tools软件构建应急流程的CPN模型,验证模型的... 为解决现有地铁应急预案中文本式管理流程难以直观展现各环节的联动性问题,以系统分析视角梳理我国地铁系统一般应急管理流程,基于着色Petri网理论构建地铁系统运营期应急流程模型;运用CPN Tools软件构建应急流程的CPN模型,验证模型的可行性;以可达树算法同构的马尔科夫链计算地铁系统着色Petri网模型的性能指标,识别流程的关键节点,并以实际算例数据为基础进行仿真分析。研究结果表明:构建的模型具有有界性和活性;该地铁系统运营期应急流程的关键节点为“接警”、“判断突发事件级别”及“判断事态控制情况”,研究结果可为应急管理流程优化提供借鉴。 展开更多
关键词 应急管理 地铁系统 着色PETRI
下载PDF
价格着色Petri网在工作流建模中的应用 被引量:2
6
作者 姚晓峰 张伟 刘峰 《计算机工程与设计》 CSCD 北大核心 2009年第1期235-237,共3页
在着色网的基础上扩展了价格信息,提出了价格着色网,用来对业务流程进行价格建模并对其作相应的成本预算分析。其中讨论了价格着色网的变迁步规则,提出了价格着色网中的标识——经济标识的定义,并有针对性地提出了最小成本构造算法。最... 在着色网的基础上扩展了价格信息,提出了价格着色网,用来对业务流程进行价格建模并对其作相应的成本预算分析。其中讨论了价格着色网的变迁步规则,提出了价格着色网中的标识——经济标识的定义,并有针对性地提出了最小成本构造算法。最后以一个业务流程实例演示了该模型的应用,得出结论为价格着色网能够较好地解决业务流程建模中的成本预算分析问题而且该模型中的最小成本构造算法是有效的。 展开更多
关键词 价格着色网 业务流程管理 成本预算分析 可达性分析 最小成本构造算法
下载PDF
基于分层着色Petri网的增强现实装配系统建模 被引量:8
7
作者 宋荆洲 马铁军 +2 位作者 孙汉旭 贾庆轩 高欣 《计算机集成制造系统》 EI CSCD 北大核心 2012年第10期2166-2174,共9页
为弥补场景图在增强现实装配应用中的不足,提出一种将层次着色Petri网与图灵机模型结合的方法,建立了增强现实装配环境系统模型。该模型借鉴图灵机的思想,以虚拟手的手势代号及位姿矩阵作为输入,输出具体操作事件更新场景图,记录系统的... 为弥补场景图在增强现实装配应用中的不足,提出一种将层次着色Petri网与图灵机模型结合的方法,建立了增强现实装配环境系统模型。该模型借鉴图灵机的思想,以虚拟手的手势代号及位姿矩阵作为输入,输出具体操作事件更新场景图,记录系统的当前内部状态并根据用户输入给出下一步的操作响应。相对于单一的碰撞检测方法,该方法能更好地满足增强现实装配系统的动态实时响应等性能要求。开发建立了该模型的原型系统,并通过网络状态生成图分析验证了模型实时响应的能力。 展开更多
关键词 层次着色PETRI 图灵机 增强现实 装配环境 建模
下载PDF
基于层次着色Petri网的物资储配系统调度问题研究 被引量:7
8
作者 田国会 张攀 +2 位作者 田伟 李晓磊 路飞 《机械工程学报》 EI CAS CSCD 北大核心 2005年第4期148-153,共6页
采用层次着色Petri网研究了物资储配系统的调度问题。用首层Petri网给出了系统运行过程的总体宏观描述,在层次Petri网子页中对固定货架子系统、旋转货架子系统、分拣子系统和输送子系统的动态行为进行了详细刻画。在CPN-Tools仿真环境... 采用层次着色Petri网研究了物资储配系统的调度问题。用首层Petri网给出了系统运行过程的总体宏观描述,在层次Petri网子页中对固定货架子系统、旋转货架子系统、分拣子系统和输送子系统的动态行为进行了详细刻画。在CPN-Tools仿真环境中分析了系统的整体动态特性,给出并验证了系统的总体调度策略。 展开更多
关键词 物资储配系统 调度 层次着色PETRI CPN—Tools 仿真
下载PDF
基于着色Petri网的复杂产品开发多项目调度建模研究 被引量:20
9
作者 施国强 李伯虎 柴旭东 《系统仿真学报》 EI CAS CSCD 北大核心 2007年第17期3869-3872,3948,共5页
建立多项目调度模型已经成为复杂产品开发多项目计划和控制的基础。分析了复杂产品开发多项目调度的特点,指出目前已经提出的多项目调度建模方法不能全面的体现和描述上述特点,提出了用着色Petri网建立多项目调度模型的具体思路和方法,... 建立多项目调度模型已经成为复杂产品开发多项目计划和控制的基础。分析了复杂产品开发多项目调度的特点,指出目前已经提出的多项目调度建模方法不能全面的体现和描述上述特点,提出了用着色Petri网建立多项目调度模型的具体思路和方法,即在着色Petri网颜色定义的基础上,利用着色网的颜色、层次等特点描述多项目调度的相似性、开放性和层次性,利用着色网的守卫函数、弧函数和双向弧等方法描述多项目调度的冲突性、技术关联性和迭代性,文章简要阐述了模型实例和分析方法,最后给出结论和下一步工作。 展开更多
关键词 复杂产品开发 多项目 着色PETRI 调度建模
下载PDF
用着色Petri网建模工作流模式 被引量:12
10
作者 闻立杰 王建民 孙家广 《计算机科学》 CSCD 北大核心 2006年第6期135-139,共5页
工作流模式指在工作流过程模型中反复出现的过程基本构造,是衡量工作流建模语言在控制流方面的表达能力和适用性的重要标准,目前市场上的工作流引擎对其支持得并不好。本文重点阐述了基于着色Petri网的工作流建模语言对当前流行的20种... 工作流模式指在工作流过程模型中反复出现的过程基本构造,是衡量工作流建模语言在控制流方面的表达能力和适用性的重要标准,目前市场上的工作流引擎对其支持得并不好。本文重点阐述了基于着色Petri网的工作流建模语言对当前流行的20种工作流模式的支持情况。结果表明,该语言不仅能很好地支持全部模式,而且具有建模简洁、准确的特点。同其它建模语言相比,用着色Petri网建模工作流模式具有较好的灵活性和扩展性。它也为如何使基于着色Petri网的工作流引擎能够正确、有效地支持全部20种工作流模式提供了有意义的指导。 展开更多
关键词 工作流 建模语言 模式 着色PETRI 控制流
下载PDF
模糊着色Petri网及其在工作流建模中的应用 被引量:9
11
作者 张鹏程 李人厚 +1 位作者 秦明 顾新华 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2002年第8期713-716,共4页
Petri网是当前工作流建模中广泛采用的工具之一 .针对工作流过程定义中模糊信息的描述和处理问题 ,提出模糊着色 Petri网的描述方法 ,并给出基于模糊着色 Petri网的推理过程 .最后给出一个简单业务流程的基于模糊着色 Petri网的工作流模... Petri网是当前工作流建模中广泛采用的工具之一 .针对工作流过程定义中模糊信息的描述和处理问题 ,提出模糊着色 Petri网的描述方法 ,并给出基于模糊着色 Petri网的推理过程 .最后给出一个简单业务流程的基于模糊着色 Petri网的工作流模型 。 展开更多
关键词 模糊着色Petri 工作流 建模 流程定义 智能表达 模糊推理
下载PDF
着色Petri网及其在系统建模与仿真中的应用 被引量:16
12
作者 肖兵 瞿坦 王明哲 《计算机工程》 CAS CSCD 北大核心 2001年第1期30-32,共3页
在众多的系统建模方法和语言中,用着色Petri网( Colored Petri Net,简写CPN)建立的模型是可执行的,更有利于动态仿真,非常适合建模具有同步、并发、资源共享的大系统.文章介绍了CPN的基本概念及建模... 在众多的系统建模方法和语言中,用着色Petri网( Colored Petri Net,简写CPN)建立的模型是可执行的,更有利于动态仿真,非常适合建模具有同步、并发、资源共享的大系统.文章介绍了CPN的基本概念及建模特性,阐明了CPN的实用价值及应用发展前景,并对一个罕事系统一一空对空导弹攻击系统进行CPN的图形形式的建模分析,并用Design/CPN进行仿真验证. 展开更多
关键词 系统建模 系统仿真 着色PETRI 空对空导弹 计算机仿真
下载PDF
基于分层着色Petri网的装备战场抢修系统建模 被引量:10
13
作者 齐胜利 武昌 杨懿 《系统仿真学报》 EI CAS CSCD 北大核心 2005年第10期2327-2329,2337,共4页
讨论了一种基于分层着色Petri网理论建立装备战场抢修系统模型的方法。这种方法是通过引入复杂库所和Petri子网来对原有的装备战场抢修系统模型进行改造,克服了以往用普通Petri网建模的不足之处,使模型变得直观、简单,并有利于模型分析... 讨论了一种基于分层着色Petri网理论建立装备战场抢修系统模型的方法。这种方法是通过引入复杂库所和Petri子网来对原有的装备战场抢修系统模型进行改造,克服了以往用普通Petri网建模的不足之处,使模型变得直观、简单,并有利于模型分析和仿真实现。 展开更多
关键词 分层着色Petri 装备 战场抢修 建模
下载PDF
基于着色Petri网理论的通信装备维修系统建模 被引量:5
14
作者 齐胜利 武昌 +1 位作者 杨懿 尤学工 《空军工程大学学报(自然科学版)》 CSCD 北大核心 2005年第3期37-41,共5页
讨论了一种基于着色Petri网理论建立通信装备第二级维修子系统模型的方法。该方法通过运用着色Petri网理论的优势对原有的通信装备第二级维修子系统模型进行改造,克服了以往用普通Petri网建模的不足,细化了其系统模型的中间操作过程,有... 讨论了一种基于着色Petri网理论建立通信装备第二级维修子系统模型的方法。该方法通过运用着色Petri网理论的优势对原有的通信装备第二级维修子系统模型进行改造,克服了以往用普通Petri网建模的不足,细化了其系统模型的中间操作过程,有利于模型分析和仿真实现。 展开更多
关键词 着色PETRI 通信装备 维修系统 模型
下载PDF
基于面向Agent的赋时着色Petri网的可重构装配线建模 被引量:8
15
作者 苑明海 白颖 李东波 《计算机集成制造系统》 EI CSCD 北大核心 2008年第11期2142-2149,2183,共9页
针对可重构装配线建模问题,提出了面向Agent的赋时着色Petri网的可重构装配线建模方法。在对装配资源进行分类的基础上,将装配资源Agent内部行为进行封装,建立了装配资源Agent的面向Agent的赋时着色Petri网模型,并通过过渡变迁合成可重... 针对可重构装配线建模问题,提出了面向Agent的赋时着色Petri网的可重构装配线建模方法。在对装配资源进行分类的基础上,将装配资源Agent内部行为进行封装,建立了装配资源Agent的面向Agent的赋时着色Petri网模型,并通过过渡变迁合成可重构装配单元面向Agent的赋时着色Petri网模型。根据每个可重构装配单元之间的逻辑关系,确定整个系统的消息传递关系。在此基础上,实现了装配线快速重构,通过引入相应的多Agent交互协议模型来解决模型中存在的死锁和冲突。最后通过实例分析说明了该建模方法的有效性。 展开更多
关键词 AGENT 赋时着色PETRI 可重构装配线 建模 交互协议
下载PDF
一种随机着色Petri网及模型的性能分析 被引量:5
16
作者 王继曾 张彦龙 罗靖宇 《计算机应用》 CSCD 北大核心 2008年第2期292-293,301,共3页
针对随机Petri网(SPN)在系统性能分析时,其状态空间随着系统规模增大而指数性增长,造成求解稳定状态概率的复杂性的不足,提出了一种随机着色Petri网(SCPN)。分析了它的有界性和可达性,证明了它同构于一个一维连续时间的马尔可夫链;同时... 针对随机Petri网(SPN)在系统性能分析时,其状态空间随着系统规模增大而指数性增长,造成求解稳定状态概率的复杂性的不足,提出了一种随机着色Petri网(SCPN)。分析了它的有界性和可达性,证明了它同构于一个一维连续时间的马尔可夫链;同时,也分析了随机着色Petri网用于建模和系统性能定量分析的方法。 展开更多
关键词 PETRI 随机着色Petri 性能分析 马尔可夫链
下载PDF
基于着色Petri网的工作流建模和合理性分析 被引量:17
17
作者 陈翔 夏国平 《计算机集成制造系统-CIMS》 EI CSCD 北大核心 2004年第4期381-387,共7页
针对工作流模型表达能力较差,以及合理性不容易验证的问题,将工作流管理联盟定义的工作流模型映射为工作流网络。通过应用统一的资源管理器和引入着色Petri网,得到着色工作流网模型,这种模型更简单、更容易计算机化。在定义并证明两种... 针对工作流模型表达能力较差,以及合理性不容易验证的问题,将工作流管理联盟定义的工作流模型映射为工作流网络。通过应用统一的资源管理器和引入着色Petri网,得到着色工作流网模型,这种模型更简单、更容易计算机化。在定义并证明两种不会破坏原工作流网络结构特性和系统行为的调整映射的基础上,将该工作流网络调整为完全的扩展自由选择网,使所有工作流模型的合理性问题都可以在多项式时间里得到解决。 展开更多
关键词 工作流模型 着色PETRI 扩展自由选择
下载PDF
基于设计结构矩阵和着色Petri网的产品设计过程建模与仿真 被引量:4
18
作者 李海涛 杨波 +2 位作者 尹晓玲 王兴祖 姚孔 《中国机械工程》 EI CAS CSCD 北大核心 2014年第1期108-117,共10页
将设计结构矩阵与着色Petri网结合后,进行了产品设计过程建模与仿真的研究。首先利用设计结构矩阵对产品设计过程进行建模,从产品设计过程特点出发,为支持基本过程逻辑的描述定义了着色Petri网基本网模型结构,将设计结构矩阵映射为着色P... 将设计结构矩阵与着色Petri网结合后,进行了产品设计过程建模与仿真的研究。首先利用设计结构矩阵对产品设计过程进行建模,从产品设计过程特点出发,为支持基本过程逻辑的描述定义了着色Petri网基本网模型结构,将设计结构矩阵映射为着色Petri网,建立了产品设计过程着色Petri网模型。在此基础上建立了对设计资源进行有效分配的动态分配模型,通过定量仿真分析,实现了产品开发过程资源冲突的检测及资源的重新分配和调整。桥式起重机小车设计的实例说明了该方法的有效性。 展开更多
关键词 设计结构矩阵 产品设计过程 建模与仿真 着色PETRI
下载PDF
基于着色Petri网的BPEL建模与验证 被引量:8
19
作者 门鹏 段振华 《西北大学学报(自然科学版)》 CAS CSCD 北大核心 2007年第6期986-990,共5页
目的为了保证使用商业过程执行语言(BPEL)描述的Web服务组合的正确性。方法用着色Petri网(CP-nets)对BPEL流程进行建模、分析以及验证。结果定义了一套从BPEL到CP-nets的映射规则,该规则可以将BPEL流程转换成CP-nets,通过着色Petri网工... 目的为了保证使用商业过程执行语言(BPEL)描述的Web服务组合的正确性。方法用着色Petri网(CP-nets)对BPEL流程进行建模、分析以及验证。结果定义了一套从BPEL到CP-nets的映射规则,该规则可以将BPEL流程转换成CP-nets,通过着色Petri网工具-CPN tools对该CP-nets进行自动分析以及验证,从而验证该BPEL流程的安全性、活性等性质。结论利用CP-nets这种形式化工具可以有效地发现BPEL流程中存在的设计错误。 展开更多
关键词 着色PETRI BPEL WEB SERVICES
下载PDF
基于着色Petri网的卫星军事应用系统建模 被引量:5
20
作者 李强 赵新国 徐雪峰 《系统仿真学报》 CAS CSCD 北大核心 2007年第A01期237-240,共4页
卫星军事应用系统是一个复杂的军事信息系统,具有同步、并发、冲突等特点。应用着色Petri网技术对其进行建模,符合卫星军事应用系统的特点,能够有效分析系统的静态结构和动态行为。介绍了着色Petri网的基本概念,剖析了卫星军事应用系统... 卫星军事应用系统是一个复杂的军事信息系统,具有同步、并发、冲突等特点。应用着色Petri网技术对其进行建模,符合卫星军事应用系统的特点,能够有效分析系统的静态结构和动态行为。介绍了着色Petri网的基本概念,剖析了卫星军事应用系统的作战过程,建立了系统的CPN模型,最后针对模型进行了性能分析。 展开更多
关键词 卫星军事应用系统 着色PETRI 常规导弹 建模
下载PDF
上一页 1 2 20 下一页 到第
使用帮助 返回顶部