期刊文献+
共找到157篇文章
< 1 2 8 >
每页显示 20 50 100
用层次颜色Petri网模拟主体行为 被引量:8
1
作者 马炳先 徐颖蕾 吴哲辉 《系统仿真学报》 CAS CSCD 2003年第z1期114-118,共5页
智能主体动态动作的形式化描述是开发应用多主体系统的关键之一,目前对于主体动作的形式化描述多是基于逻辑学的描述,不易直接应用到系统开发中。该文通过利用层次颜色Petri网对市场多主体系统的模拟,提出并讨论了利用层次颜色Petri网... 智能主体动态动作的形式化描述是开发应用多主体系统的关键之一,目前对于主体动作的形式化描述多是基于逻辑学的描述,不易直接应用到系统开发中。该文通过利用层次颜色Petri网对市场多主体系统的模拟,提出并讨论了利用层次颜色Petri网为多主体系统建模、模拟主体行为的方法,该方法对多主体系统中主体间的各种动态关系有较好的刻画,并且通过层次化的方法减少了利用一般Petri网系统(如: P/T系统)模拟复杂系统时所遇到的难度。 展开更多
关键词 智能主体 主体行为 petri 层次颜色petri网
下载PDF
Web服务组合的层次颜色Petri网描述模型 被引量:6
2
作者 李景霞 程久军 《计算机工程》 CAS CSCD 北大核心 2009年第24期39-40,44,共3页
针对Web服务组合流程资源的表达及组合流程正确性验证问题,提出一个基于层次颜色Petri网的Web服务组合描述模型,该模型在描述组合流程控制流的同时还能描述流程中的数据流,能较全面地刻画Web服务组合流程,并且支持对组合流程正确性的验... 针对Web服务组合流程资源的表达及组合流程正确性验证问题,提出一个基于层次颜色Petri网的Web服务组合描述模型,该模型在描述组合流程控制流的同时还能描述流程中的数据流,能较全面地刻画Web服务组合流程,并且支持对组合流程正确性的验证分析、实例化流程的仿真运行。建模实例验证了该模型的有效性和实用性。 展开更多
关键词 层次颜色petri网 模型驱动架构 WEB服务组合
下载PDF
煤矿辅助运输调度系统的层次颜色Petri网建模 被引量:1
3
作者 曹春玲 李梦雨 张娜齐 《工业工程》 北大核心 2021年第6期1-7,共7页
为实现煤矿井下无轨运输车辆的安全调度,提出一种新型调度策略,以此为框架,利用层次颜色Petri网对调度系统进行建模。通过研究模型的运行过程,对调度策略的安全性、正确性及可重用性进行证明。同时,利用模型的状态空间报告对调度系统基... 为实现煤矿井下无轨运输车辆的安全调度,提出一种新型调度策略,以此为框架,利用层次颜色Petri网对调度系统进行建模。通过研究模型的运行过程,对调度策略的安全性、正确性及可重用性进行证明。同时,利用模型的状态空间报告对调度系统基本性能作简单分析。结果表明,该调度系统模型可对车辆运输量、区段使用频度及其时间分布以及车辆运输速度与运输任务产生速度的匹配程度进行分析,在应用过程中可以有效提高车辆运输安全性,避免运输事故,辅助管理者规划运输任务,提高矿井辅助运输效率。 展开更多
关键词 井下车辆调度 层次颜色petri网 CPN tools软件 性能分析
下载PDF
基于层次颜色Petri网的仓储作业系统建模与仿真 被引量:1
4
作者 朱正月 《安庆师范大学学报(自然科学版)》 2020年第4期72-79,共8页
在HCPN(Hierarchical Colored Petri Net)理论研究与应用分析工作基础上,结合某供应链企业的仓储作业系统,采用出库优先的调度策略,分层构建该系统的全局HCPN模型。利用CPN(Colored Petri Net)Tools对系统模型各子CPN系统进行图形化描... 在HCPN(Hierarchical Colored Petri Net)理论研究与应用分析工作基础上,结合某供应链企业的仓储作业系统,采用出库优先的调度策略,分层构建该系统的全局HCPN模型。利用CPN(Colored Petri Net)Tools对系统模型各子CPN系统进行图形化描述、协同运行仿真和分析,运用状态空间工具分析了系统模型的有界性、家性、活性和公平性等性质,验证了系统HCPN模型的正确性、可靠性和健壮性。HCPN在仓储作业系统建模仿真中的应用,为大规模复杂系统建模提供了一种新思路、新方法,具有重要的理论价值和实践意义。 展开更多
关键词 层次颜色petri网 仓储作业系统 替代变迁 融合库所
下载PDF
层次颜色Petri网在Web信息系统建模中的应用
5
作者 朱正月 《集宁师范学院学报》 2020年第3期1-6,共6页
层次颜色Petri网是一类具有模型描述语言Standard ML、分层功能和图形化描述特性的高级Petri网,拥有仿真工具CPN Tools,是信息系统建模的有效工具,可方便描述信息系统中的控制流、数据流,全面刻画系统业务流程。在给出HCPN一种形式定义... 层次颜色Petri网是一类具有模型描述语言Standard ML、分层功能和图形化描述特性的高级Petri网,拥有仿真工具CPN Tools,是信息系统建模的有效工具,可方便描述信息系统中的控制流、数据流,全面刻画系统业务流程。在给出HCPN一种形式定义基础上,结合智慧校园中的校园一卡通Web信息系统,利用CPN Tools分层构建了该系统的HCPN模型,并对各子CPN系统进行图形化描述、协同运行仿真和分析,运用状态空间工具分析和验证了系统HCPN模型的正确性、可靠性和健壮性。 展开更多
关键词 层次颜色petri网 WEB信息系统 颜色petri工具包 替代变迁 融合库所 状态空间
下载PDF
基于层次颜色Petri网的全感应控制交通信号灯建模与仿真 被引量:6
6
作者 顾鸿儒 孙连坤 《计算机工程与科学》 CSCD 北大核心 2016年第9期1887-1893,共7页
针对平面交叉口单点全感应控制信号灯系统实时调度问题,提出一种基于层次颜色Petri网的交叉路口的信号灯动态配时控制模型。首先,运用模糊控制理论对车流量信息进行分类定义。其次,以采集到的车流量信息为控制参数,基于层次颜色Petri网... 针对平面交叉口单点全感应控制信号灯系统实时调度问题,提出一种基于层次颜色Petri网的交叉路口的信号灯动态配时控制模型。首先,运用模糊控制理论对车流量信息进行分类定义。其次,以采集到的车流量信息为控制参数,基于层次颜色Petri网理论建立基本的信号灯轮廓模型,再依据模型中实现的关键功能进行分层细化与逐步求精。此外,将计数器代替时延加入系统模型中,使模型能够直观简洁地反映出红绿灯的循环时间与车流量之间的切换关系。根据所得模型对该交叉口信号灯配时方案的性能指标进行评估与比较。最后,运用CPN Tools对系统模型进行计算仿真,并进行简单的优化性能分析。 展开更多
关键词 实时调度 模糊控制 层次颜色petri网 CPN TOOLS 单点全感应信号控制
下载PDF
基于随机颜色Petri网的食物网能量流动建模与分析
7
作者 管梦真 刘伟 李清 《计算机应用与软件》 北大核心 2024年第2期25-32,共8页
为更好地描述能量流动问题,对生物变化做出及时的预测。以食物网中能量流动为例,提出一种随机颜色Petri网模型及可达性分析方法。在颜色Petri网的基础之上针对token引入随机函数和约束函数等属性用来描述token的传递特性;基于随机颜色Pe... 为更好地描述能量流动问题,对生物变化做出及时的预测。以食物网中能量流动为例,提出一种随机颜色Petri网模型及可达性分析方法。在颜色Petri网的基础之上针对token引入随机函数和约束函数等属性用来描述token的传递特性;基于随机颜色Petri网提出可达图构造算法和随机概率矩阵;将随机颜色Petri网应用到食物网的能量流动过程中,对能量流动过程进行分析并对传递的物质进行分类,验证该模型的有效性。 展开更多
关键词 随机颜色petri 随机函数 能量流动 约束函数 可达图
下载PDF
基于层次逻辑博弈Petri网地铁应急管理系统建模与分析
8
作者 刘伟 闫哲 《数学建模及其应用》 2024年第2期15-26,共12页
为协调地铁应急管理系统中各方利益关系,提高应急管理效率,提出层次逻辑博弈Petri网.提出层次模型构建方法,引入替代变迁代替子网,在子网中定义相应入口库所和出口库所;提出替代变迁启用算法、新可达图生成算法和效用矩阵分析方法;基于... 为协调地铁应急管理系统中各方利益关系,提高应急管理效率,提出层次逻辑博弈Petri网.提出层次模型构建方法,引入替代变迁代替子网,在子网中定义相应入口库所和出口库所;提出替代变迁启用算法、新可达图生成算法和效用矩阵分析方法;基于层次逻辑博弈Petri网,构建地铁应急管理系统的整体博弈关系模型,以应急决策机构和公众博弈子网为例,分析混合策略博弈过程,验证模型的正确性和可行性. 展开更多
关键词 逻辑博弈petri 地铁应急管理 博弈论 层次模型
下载PDF
一种分层模糊Petri网风险评估方法
9
作者 古莹奎 何力韬 毕庆鹏 《机械设计与制造》 北大核心 2024年第2期369-372,379,共5页
针对传统模糊Petri网在对不确定环境下的专家系统的知识表示与推理时无法兼顾不确定知识的模糊性与随机性、在复杂的故障情况下故障的因果关系表达不清晰、定量推理计算时缺乏层次性、不能局部求解的问题,构建一种基于云模型的分层模糊P... 针对传统模糊Petri网在对不确定环境下的专家系统的知识表示与推理时无法兼顾不确定知识的模糊性与随机性、在复杂的故障情况下故障的因果关系表达不清晰、定量推理计算时缺乏层次性、不能局部求解的问题,构建一种基于云模型的分层模糊Petri网以加强模糊Petri网的知识表示能力和提高推理过程的计算效率。利用专家知识和Petri网层次分解原则将系统故障模式和故障原因之间的因果关系进行建模,使故障建模更具结构性,计算更加灵活;应用云模型处理知识的模糊性和不确定性;通过合理考虑局部权重和全局权重,结合Petri网层次分解原则和云聚合算子给出相应的推理算法。实例验证表明,所提方法能够有效对系统进行风险评估,且在知识表示和推理方面优于其他方法。 展开更多
关键词 风险评估 模糊petri(FPN) 云模型 层次分解原则
下载PDF
层次颜色工作流Petri网建模与应用 被引量:3
10
作者 陈伟 文东戈 王昊 《计算机技术与发展》 2009年第1期49-52,共4页
当前,复杂工作流建模和动态工作流建模成为工作流研究中的重点。提出了层次颜色工作流Petri网的概念,并指出用层次颜色工作流网不仅能以层次化的方式描述业务过程,而且因为所获得的模型的语义更精确,所以可用此方法描述具有事务属性并... 当前,复杂工作流建模和动态工作流建模成为工作流研究中的重点。提出了层次颜色工作流Petri网的概念,并指出用层次颜色工作流网不仅能以层次化的方式描述业务过程,而且因为所获得的模型的语义更精确,所以可用此方法描述具有事务属性并行任务在执行失败时的回滚策略。 展开更多
关键词 工作流 动态工作流 petri 层次颜色工作流
下载PDF
基于颜色Petri网的多agent动态调度建模与分析 被引量:2
11
作者 刘波 罗军舟 宋爱波 《系统仿真学报》 CAS CSCD 北大核心 2007年第A01期193-198,共6页
多agent系统是一个典型的分布式系统,其任务调度策略的性能对于整个系统的性能有重要的影响。调度策略研究领域中一个重要问题是如何动态可视化地呈现调度过程。颜色Petri网结合了Petri网和高级程序语言的优点,拥有严格的数学理论基础,... 多agent系统是一个典型的分布式系统,其任务调度策略的性能对于整个系统的性能有重要的影响。调度策略研究领域中一个重要问题是如何动态可视化地呈现调度过程。颜色Petri网结合了Petri网和高级程序语言的优点,拥有严格的数学理论基础,能够对分布式系统进行图形化的模拟。提出了一种基于层次颜色Petri网的多agent调度过程建模方法,该方法对多agent任务处理的全过程进行了建模,模型中通过不同角色的agent对任务进行动态分解和调度,利用Petri网仿真工具,能够在调度过程中考察所提出的调度策略与已有调度策略相比所具有的优点,而且通过对调度简化模型的状态空间进行分析,证明了调度策略的正确性和合理性。目前这种基于Petri网的形式化的可视仿真方法和模型评价方法是其它验证方法难以实现的。 展开更多
关键词 颜色petri 层次颜色petri网 多agent调度 动态调度 优先级
下载PDF
一种基于扩展颜色Petri网的Web服务组合验证机制 被引量:4
12
作者 李景霞 闫春钢 《计算机科学》 CSCD 北大核心 2009年第10期146-149,共4页
Web服务技术日趋成熟,它提供了一种平台独立、自描述、位置透明的软件模块。利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求。随着Web服务组合流程日趋复杂,组合流程设计越来越容易出错。给出了一个描述Web服务组合流程... Web服务技术日趋成熟,它提供了一种平台独立、自描述、位置透明的软件模块。利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求。随着Web服务组合流程日趋复杂,组合流程设计越来越容易出错。给出了一个描述Web服务组合流程的扩展层次颜色Petri网模型,它独立于具体的流程描述语言,支持流程的层次表达且能较全面地刻画Web服务组合流程。还给出了模型的控制流网正确性、数据流网正确性、流程实例正确性的验证方法,从3个层面确保了Web服务组合流程的正确性。 展开更多
关键词 层次颜色petri网 模型驱动架构 WEB服务组合 正确性分析
下载PDF
网格计算资源调度的层次Petri网建模与分析 被引量:3
13
作者 韩耀军 《计算机科学》 CSCD 北大核心 2006年第4期236-239,共4页
本文给出了网格计算资源的三层调度方案,并利用层次颜色 Petri 网对这一调度方案进行了建模与分析。对不同层次的资源调度建立了相应的颜色时延 Petri 网模型,不同层次的颜色时延 Petri 网模型可以有不同的行为表现,体现了网格计算资源... 本文给出了网格计算资源的三层调度方案,并利用层次颜色 Petri 网对这一调度方案进行了建模与分析。对不同层次的资源调度建立了相应的颜色时延 Petri 网模型,不同层次的颜色时延 Petri 网模型可以有不同的行为表现,体现了网格计算资源的异构、自治等特点。给出了层次颜色 Petri 网的可达任务图的概念及构造算法,并利用可达任务图,对网格计算资源调度系统的运行状态进行了分析。 展开更多
关键词 格计算 资源调度 petri 层次颜色petri网
下载PDF
基于UML和Petri网的层次建模分析方法 被引量:15
14
作者 江金龙 周献中 +1 位作者 孙勇成 徐延勇 《系统仿真学报》 EI CAS CSCD 北大核心 2006年第2期290-293,300,共5页
提出一种新的UML和Petri网结合方式的建模分析方法。该方法采用从上到下的层次分析方法,用扩展的UML模型对系统组织结构和系统的静态特征进行描述,用扩展的Petri网模型描述和分析系统动态特性,通过转化规则将Petri网模型转化成相应的状... 提出一种新的UML和Petri网结合方式的建模分析方法。该方法采用从上到下的层次分析方法,用扩展的UML模型对系统组织结构和系统的静态特征进行描述,用扩展的Petri网模型描述和分析系统动态特性,通过转化规则将Petri网模型转化成相应的状态图和序列图,然后集成所有的UML模型,通过RationalRose等软件来实现代码。最后通过该方法,对一个FMS进行了建模分析。 展开更多
关键词 UML petri 层次分析 FMS
下载PDF
基于层次着色Petri网的物资储配系统调度问题研究 被引量:7
15
作者 田国会 张攀 +2 位作者 田伟 李晓磊 路飞 《机械工程学报》 EI CAS CSCD 北大核心 2005年第4期148-153,共6页
采用层次着色Petri网研究了物资储配系统的调度问题。用首层Petri网给出了系统运行过程的总体宏观描述,在层次Petri网子页中对固定货架子系统、旋转货架子系统、分拣子系统和输送子系统的动态行为进行了详细刻画。在CPN-Tools仿真环境... 采用层次着色Petri网研究了物资储配系统的调度问题。用首层Petri网给出了系统运行过程的总体宏观描述,在层次Petri网子页中对固定货架子系统、旋转货架子系统、分拣子系统和输送子系统的动态行为进行了详细刻画。在CPN-Tools仿真环境中分析了系统的整体动态特性,给出并验证了系统的总体调度策略。 展开更多
关键词 物资储配系统 调度 层次着色petri CPN—Tools 仿真
下载PDF
基于层次时间Petri网的工作流模型可达性分析方法 被引量:13
16
作者 唐达 刘丹妮 《计算机集成制造系统》 EI CSCD 北大核心 2006年第4期487-493,共7页
为了有效管理工作流,需要对工作流模型进行合理性分析与验证。为此,提出了一种基于层次时间Petri网的工作流模型,给出了从时间Petri网工作流模型转化成基于层次时间Petri网工作流模型的规则及算法。证明了任何一个能够转化成基于层次时... 为了有效管理工作流,需要对工作流模型进行合理性分析与验证。为此,提出了一种基于层次时间Petri网的工作流模型,给出了从时间Petri网工作流模型转化成基于层次时间Petri网工作流模型的规则及算法。证明了任何一个能够转化成基于层次时间Petri网的时间Petri网工作流模型在物理上都是可达的。在时间方面,提出了基于层次时间Petri网工作流模型的层次时间树算法,并给出了时间可达性的静态和动态分析与验证方法。通过实例验证了该方法在工作流模型的物理、时间静态和时间动态可达性分析中的有效性。 展开更多
关键词 工作流 时间petri 层次时间petri 层次时间树
下载PDF
基于颜色Petri网的Web服务组合建模及应用 被引量:12
17
作者 李景霞 侯紫峰 《计算机应用研究》 CSCD 北大核心 2006年第9期149-151,154,共4页
给出了用颜色Petri网来对W eb服务及服务组合建模,在描述服务内部控制结构的同时兼顾了数据流的描述,而且还给出了模拟W eb服务执行的引发规则,从静态、动态两方面描述了W eb服务及服务组合,最后还给出了一个应用颜色Petri网建模的实例。
关键词 WEB服务 WEB服务组合 petri 颜色petri
下载PDF
基于Petri网的维修保障流程多层次仿真模型研究 被引量:15
18
作者 张建强 张涛 郭波 《兵工自动化》 2003年第4期14-17,共4页
基于Petri网的武器装备系统维修保障流程多层次仿真模型,从简单Petri网开始,用子网代替初始简单网的库所或变迁,自顶向下重复至理想的细化程度。系统的装备、资源及其动态协作关系用Petri资源、库所、变迁描述。其建模过程为:分析维修... 基于Petri网的武器装备系统维修保障流程多层次仿真模型,从简单Petri网开始,用子网代替初始简单网的库所或变迁,自顶向下重复至理想的细化程度。系统的装备、资源及其动态协作关系用Petri资源、库所、变迁描述。其建模过程为:分析维修保障活动→划分活动为独立事件→建立保障流程描述的上层Petri网模型→分析独立的任务过程→得到子过程模型→基本事件的Petri网模型→利用模型仿真计算整个流程的参数及提出改进建议。并以飞机轮胎刹爆维修保障过程详述了该模型的建立。 展开更多
关键词 petri 武器装备 维修保障流程 层次仿真模型 细化理论 应用
下载PDF
基于赋时层次有色Petri网的医疗服务流程建模与优化 被引量:24
19
作者 伍宏伟 杨东 《系统仿真学报》 EI CAS CSCD 北大核心 2007年第8期1657-1663,1699,共8页
构建一个高效、精简、优质的医疗服务流程是医院高效、低成本和高质量运营的基础。针对目前医疗服务缺乏定量化的分析评价手段,提出了采用赋时层次有色Petri网(HTCP-net)来建模和优化医院当前的医疗服务流程。应用建模、仿真工具CPNTool... 构建一个高效、精简、优质的医疗服务流程是医院高效、低成本和高质量运营的基础。针对目前医疗服务缺乏定量化的分析评价手段,提出了采用赋时层次有色Petri网(HTCP-net)来建模和优化医院当前的医疗服务流程。应用建模、仿真工具CPNTools对医疗服务流程进行建模和仿真分析,从而得到患者平均等待时间、各类资源利用率等医院的外部和内部性能指标,最后在此基础之上通过合并任务、整合资源等流程重组和优化方法实现了医院服务效率的提高和服务质量的改进。 展开更多
关键词 赋时层次有色petri HTCP-net 流程建模 流程优化 医疗服务流程
下载PDF
层次结构的Petri网 被引量:13
20
作者 郝克刚 丁剑洁 《计算机科学与探索》 CSCD 2008年第2期123-130,共8页
Petri网是一个很好地描述与分析并行系统的模型。但在实际应用中,如果系统过大或较复杂时,会遇到结点数过多的问题。介绍了着色网和几种层次结构的Petri网,包括位置/转移精化网、对象网以及开放网等;分析和比较了这几种模型用以减少结... Petri网是一个很好地描述与分析并行系统的模型。但在实际应用中,如果系统过大或较复杂时,会遇到结点数过多的问题。介绍了着色网和几种层次结构的Petri网,包括位置/转移精化网、对象网以及开放网等;分析和比较了这几种模型用以减少结点数和引入层次结构的方法,而且从结构上讨论了它们相互之间的关系。 展开更多
关键词 petri 层次结构 位置精化 转移精化 对象 着色 开放
下载PDF
上一页 1 2 8 下一页 到第
使用帮助 返回顶部