期刊文献+
共找到68篇文章
< 1 2 4 >
每页显示 20 50 100
CPN—TOOLS在装备维修规划中的应用研究 被引量:18
1
作者 李阳 武昌 曹洪权 《系统仿真学报》 EI CAS CSCD 北大核心 2006年第1期200-203,共4页
有色petri网(CPN)理论是对离散事件动态系统(DEDS)进行建模的有利工具,针对装备维修保障系统的特点,将CPN理论引入装备维修保障系统的建模与仿真,应用CPN对该系统进行建模,并利用CPN—TOOLS对模型进行仿真,针对一个假定条件提出了维修... 有色petri网(CPN)理论是对离散事件动态系统(DEDS)进行建模的有利工具,针对装备维修保障系统的特点,将CPN理论引入装备维修保障系统的建模与仿真,应用CPN对该系统进行建模,并利用CPN—TOOLS对模型进行仿真,针对一个假定条件提出了维修人员方案的合理配置。 展开更多
关键词 装备维修 规划 cpn cpn-tools
下载PDF
基于层次着色Petri网的物资储配系统调度问题研究 被引量:7
2
作者 田国会 张攀 +2 位作者 田伟 李晓磊 路飞 《机械工程学报》 EI CAS CSCD 北大核心 2005年第4期148-153,共6页
采用层次着色Petri网研究了物资储配系统的调度问题。用首层Petri网给出了系统运行过程的总体宏观描述,在层次Petri网子页中对固定货架子系统、旋转货架子系统、分拣子系统和输送子系统的动态行为进行了详细刻画。在CPN-Tools仿真环境... 采用层次着色Petri网研究了物资储配系统的调度问题。用首层Petri网给出了系统运行过程的总体宏观描述,在层次Petri网子页中对固定货架子系统、旋转货架子系统、分拣子系统和输送子系统的动态行为进行了详细刻画。在CPN-Tools仿真环境中分析了系统的整体动态特性,给出并验证了系统的总体调度策略。 展开更多
关键词 物资储配系统 调度 层次着色PETRI网 cpntools 仿真
下载PDF
海上编队作战准备阶段指挥流程研究 被引量:4
3
作者 李仁松 赵尚君 鞠晓东 《舰船电子工程》 2010年第12期54-56,共3页
为研究指挥流程,提高指挥工作效率,简单介绍了着色Petri网及CPN-TOOLS软件工具。应用CPN对作战准备阶段的指挥流程建模,并利用CPN-TOOLS对模型进行仿真分析。针对假定条件给出了合理的指挥所方案,优化了指挥流程。
关键词 作战准备阶段 指挥流程 建模 cpn cpn-tools
下载PDF
基于UML与着色Petri网的预警情报智能推荐的建模与验证 被引量:4
4
作者 牛犇 黄志良 +2 位作者 吴俊杰 张福群 李子墨 《兵器装备工程学报》 CAS CSCD 北大核心 2022年第12期291-298,共8页
针对将智能推荐系统应用在联合作战中推荐预警情报的研究,对比了IDEF、UML、Petri网等多种军事复杂系统建模方法,提出了采用UML和着色Petri网混合方法对预警情报智能推荐在联合作战中的应用进行建模与验证。通过UML工具对智能推荐系统... 针对将智能推荐系统应用在联合作战中推荐预警情报的研究,对比了IDEF、UML、Petri网等多种军事复杂系统建模方法,提出了采用UML和着色Petri网混合方法对预警情报智能推荐在联合作战中的应用进行建模与验证。通过UML工具对智能推荐系统及其情报流进行了用例图、类图以及活动图等方面的概念建模,建立了规范化、统一化、可视化的模型,再凭借Petri网严谨数学分析以及其对复杂网络的强大建模能力,将UML模型映射为着色Petri网模型,实现了从内向外,从静态到动态,从模块化到系统化的循序渐进的建模过程。以X海方向XX联指,应对敌舰载机突袭任务为情况想定,利用CPN-Tools进行仿真,验证了预警情报智能推荐的着色Petri网模型具有可达性、有界性、公平性、安全性以及活性。上述验证结果,说明该模型是合理的,也说明使用UML和着色Petri网混合建模方法对预警情报智能推荐在联合作战中应用进行建模与验证是可行的,为下一步基于智能推荐系统的设计、构建和优化研究提供了科学性和可行性的支撑。 展开更多
关键词 预警情报 智能推荐 UML 着色PETRI网 cpn-tools
下载PDF
基于CPN的在轨服务概念建模 被引量:2
5
作者 史建伟 蔡远文 苏明 《系统仿真学报》 CAS CSCD 北大核心 2011年第B07期262-265,281,共5页
概念建模是建立仿真系统的第一步。首先介绍了着色Petri网(Colored Petri Net,CPN)的建模基础,其次分析了在轨服务概念及其流程,然后运用CPN-Tools建立了在轨服务的CPN模型,并生成了模型的状态空间报告,分析了模型的回归性、有界性、活... 概念建模是建立仿真系统的第一步。首先介绍了着色Petri网(Colored Petri Net,CPN)的建模基础,其次分析了在轨服务概念及其流程,然后运用CPN-Tools建立了在轨服务的CPN模型,并生成了模型的状态空间报告,分析了模型的回归性、有界性、活性以及公平性。在轨服务概念模型,可以为在轨服务系统及其仿真系统的建立提供参考。 展开更多
关键词 在轨服务 概念建模 UML cpn cpn-tools
下载PDF
基于层次着色Petri网的多机协同多目标攻击决策建模 被引量:1
6
作者 朱爱峰 姜长生 《电光与控制》 北大核心 2010年第6期9-14,共6页
采用层次着色Petri网的方法,在CPN-Tools仿真环境中建立了多机协同多目标攻击决策系统的模型。该方法通过引入颜色和置换变迁,降低了复杂系统Petri网模型复杂度,使模型直观、简单。利用ML元语言在模型中嵌入威胁估计和目标分配的算法函... 采用层次着色Petri网的方法,在CPN-Tools仿真环境中建立了多机协同多目标攻击决策系统的模型。该方法通过引入颜色和置换变迁,降低了复杂系统Petri网模型复杂度,使模型直观、简单。利用ML元语言在模型中嵌入威胁估计和目标分配的算法函数,使得模型具有根据态势信息进行目标分配决策的能力。分析了模型的动态性质,并给出算例仿真。仿真结果表明了所研究的基于层次着色Petri网的多机协同多目标攻击决策模型的有效性。 展开更多
关键词 多机协同 多目标攻击 决策 层次着色PETRI网 cpn-tools
下载PDF
石材制品生产流程的CPN建模与优化调度分析
7
作者 王苏城 方欢 《长春师范大学学报》 2015年第12期26-29,共4页
复杂的多阶段、多产品的石材制品生产流程是一个重要的工业应用案例,对其进行形式化建模分析和优化调度控制是工业控制的重要目标。本文应用颜色Petri网对该生产流程进行形式化建模,并将模型进行软件仿真,通过仿真结果分析得到该过程的... 复杂的多阶段、多产品的石材制品生产流程是一个重要的工业应用案例,对其进行形式化建模分析和优化调度控制是工业控制的重要目标。本文应用颜色Petri网对该生产流程进行形式化建模,并将模型进行软件仿真,通过仿真结果分析得到该过程的优化调度方法。重点运用了3个关键方面:首先,在建模中实现多阶段、多产品的工序选择;其次,通过设置单个步骤变迁的输入和输出函数,满足不同石材制品不同处理时间的需要;最后,应用CPN-Tools工具验证了模型的活性,并基于可达标识图和状态空间报告求解最优调度。 展开更多
关键词 颜色PETRI网 性能分析 cpn-tools 生产流程
下载PDF
有色Petri网在web服务组合建模中的应用
8
作者 李嶒 《巢湖学院学报》 2013年第6期22-25,共4页
以分布、异构、多自治域的互联网环境为背景,提出利用有色Petri网对web服务组合进行建模的方法,给出了web服务组合网的形式化描述和常用结构的图形化表示方法。文中所引用的案例模型可以在CPN-tools中测试,有效的建模是模型分析验证和... 以分布、异构、多自治域的互联网环境为背景,提出利用有色Petri网对web服务组合进行建模的方法,给出了web服务组合网的形式化描述和常用结构的图形化表示方法。文中所引用的案例模型可以在CPN-tools中测试,有效的建模是模型分析验证和模型应用的基础。对电子商务和企业应用集成在解决web服务组合问题中具有一定的参考价值。 展开更多
关键词 PETRI网 web WEB服务组合 模型 cpntools
下载PDF
基于CPN-Tools的驾驶培训系统建模及性能分析 被引量:1
9
作者 胡武雄 秦江涛 胡健 《软件导刊》 2015年第3期84-87,共4页
Petri网在流程信息系统建模中能得以有效利用,一个有效的驾驶培训系统关乎学员的学习效率和驾校的效益。着色Petri网(Colored Petri Net,CPN)是对离散事件动态系统进行图形化建模的有效理论,CPN-TOOLS是应用Petri网理论进行建模与仿真... Petri网在流程信息系统建模中能得以有效利用,一个有效的驾驶培训系统关乎学员的学习效率和驾校的效益。着色Petri网(Colored Petri Net,CPN)是对离散事件动态系统进行图形化建模的有效理论,CPN-TOOLS是应用Petri网理论进行建模与仿真分析的有效工具。通过对驾驶培训系统流程进行设定,利用CPN-TOOLS对驾驶培训系统进行建模与仿真,在假定参数条件下对产生的能够反映仿真动态过程和结果的数据进行性能分析,并得出合理的教练员配置方案及效益结果。通过实例反映了着色petri网的建模优势,验证了CPN-Tools在仿真中应用的有效性。 展开更多
关键词 驾驶培训系统 着色PETRI网 cpn-tools 性能分析
下载PDF
基于CPN的情报组网系统作战过程建模仿真研究 被引量:1
10
作者 杨兆民 彭伟 +1 位作者 彭思勇 冯亚军 《空军雷达学院学报》 2010年第2期106-110,共5页
为更好地研究情报组网系统作战过程这一离散型事件,运用CPN语言和DoDAF框架标准,建立了情报组网系统作战过程的CPN-Tools模型,并假定来袭目标和情报组网系统结构进行了仿真.仿真得出的情报组网系统的探测时间和融合发现概率与实际情况相... 为更好地研究情报组网系统作战过程这一离散型事件,运用CPN语言和DoDAF框架标准,建立了情报组网系统作战过程的CPN-Tools模型,并假定来袭目标和情报组网系统结构进行了仿真.仿真得出的情报组网系统的探测时间和融合发现概率与实际情况相符,表明运用CPN语言分析情报组网系统的可行性. 展开更多
关键词 情报组网系统 DoDAF结构 cpn-tools仿真
下载PDF
基于OPN模型的装备维修保障系统动态性能仿真(英文)
11
作者 赵晓明 齐胜利 +1 位作者 高宪军 梁广东 《吉林大学学报(信息科学版)》 CAS 2009年第5期527-533,共7页
为克服用数学方法分析装备维修保障系统的OPN(Object-oriented Petri Net)模型数量庞大和结构复杂的问题,提出了用CPN(Colored Petri Net)tools仿真软件分析装备维修保障系统的OPN模型,成功地构建了对装备维修保障系统OPN模型的CPN仿真... 为克服用数学方法分析装备维修保障系统的OPN(Object-oriented Petri Net)模型数量庞大和结构复杂的问题,提出了用CPN(Colored Petri Net)tools仿真软件分析装备维修保障系统的OPN模型,成功地构建了对装备维修保障系统OPN模型的CPN仿真模型,并用CPN tools对装备维修保障系统的OPN模型进行动态性能仿真。结果表明,用该方法分析装备维修保障系统的OPN模型动态特性是合理可行的,无任何冲突和死锁现象。 展开更多
关键词 装备维修保障系统 cpn tools仿真软件 OPN模型 动态性能
下载PDF
产品开发过程资源管理及其仿真 被引量:16
12
作者 祖旭 黄洪钟 +1 位作者 周峰 古莹奎 《系统仿真学报》 EI CAS CSCD 北大核心 2005年第6期1322-1325,共4页
资源建模是现代产品开发过程管理的一个重要问题。首先分析了产品开发过程中的资源及其属性和分类,形成了可以在仿真模型中应用的资源类。应用有色Petri网仿真软件,建立了基于资源分配和控制的产品开发过程模型。在对模型的交互式仿真... 资源建模是现代产品开发过程管理的一个重要问题。首先分析了产品开发过程中的资源及其属性和分类,形成了可以在仿真模型中应用的资源类。应用有色Petri网仿真软件,建立了基于资源分配和控制的产品开发过程模型。在对模型的交互式仿真过程中,实现了对资源使用性能的定量分析和资源优化配置。从仿真结果看,该方法具有很好的应用价值。 展开更多
关键词 资源管理 产品开发过程建模 有色PETRI网 工作流仿真 cpn tools
下载PDF
基于CPN Tools的性能评价仿真研究 被引量:11
13
作者 朱连章 隋瑞升 孔莹莹 《微计算机应用》 2008年第4期78-81,共4页
着色Petri网作为一种高级Petri网,由于引入了时间,颜色集,层次结构等概念,使之更适合对大型复杂系统的仿真模拟与性能分析。CPN Tools支持各种随机概率分布,可以在模拟过程中提取各种数据,生成各种不同的性能分析结果,并支持连续模拟,分... 着色Petri网作为一种高级Petri网,由于引入了时间,颜色集,层次结构等概念,使之更适合对大型复杂系统的仿真模拟与性能分析。CPN Tools支持各种随机概率分布,可以在模拟过程中提取各种数据,生成各种不同的性能分析结果,并支持连续模拟,分析,从而可以对现实系统进行更加精确的仿真。利用CPN Tools模拟过程中为CPN模型定义各种数据采集器,可以得到更加准确的性能分析报告。本文通过一个对快餐店进行仿真以及性能分析的简单的例子说明了着色Petri网的特性与CPN Tools的仿真与性能分析方法。 展开更多
关键词 着色PETRI网 cpn tools 仿真 性能分析 随机分布
下载PDF
优先级Petri网的CPN Tools仿真模型研究 被引量:7
14
作者 王胜德 胡望斌 徐宗昌 《系统仿真学报》 EI CAS CSCD 北大核心 2008年第3期814-816,共3页
优先级概念的引入,增强了有色Petri网的描述能力,但同时也导致了重复开发相似的仿真工具,造成了极大的浪费。通用的有色Petri网仿真工具CPN Tools支持功能强大的元语言(ML),扩展性比较强。在CPN Tools中利用反库所(anti place)、列表(li... 优先级概念的引入,增强了有色Petri网的描述能力,但同时也导致了重复开发相似的仿真工具,造成了极大的浪费。通用的有色Petri网仿真工具CPN Tools支持功能强大的元语言(ML),扩展性比较强。在CPN Tools中利用反库所(anti place)、列表(list)和元语言(ML)等方法建立了变迁、库所和托肯三种类型优先级Petri网的仿真模型,并通过示例表明了方法的有效性,这对于优先级Petri网的仿真具有重要意义。 展开更多
关键词 有色PETRI网 仿真模型 优先级 cpn tools 反库所 列表 元语言
下载PDF
基于着色Petri网的HDFS数据一致性建模与分析 被引量:8
15
作者 乔嘉林 黄向东 +2 位作者 杨义繁 王建民 吴凯 《软件学报》 EI CSCD 北大核心 2021年第10期2993-3013,共21页
HDFS分布式文件系统作为Apache Hadoop的核心组件之一,在工业界得到了广泛应用.HDFS采用了多副本机制保证数据的可靠性,但是由于多副本的存在,在节点失效、网络中断、写入失败时可能会导致数据不一致.与传统文件系统相比,HDFS被认为其... HDFS分布式文件系统作为Apache Hadoop的核心组件之一,在工业界得到了广泛应用.HDFS采用了多副本机制保证数据的可靠性,但是由于多副本的存在,在节点失效、网络中断、写入失败时可能会导致数据不一致.与传统文件系统相比,HDFS被认为其数据一致性有所降低,但用户并不知道何时会出现不一致的情况,目前也没有相关工作对其一致性机制进行验证说明.当数据存在一致性问题时,会增加上层应用的不确定性.可见,对数据一致性的研究十分必要.HDFS的软件规模庞大,且在分布式环境下运行,针对这些特点,采用了着色Petri网建模和状态空间分析的方法,完成了以下工作:(1)使用着色Petri网对HDFS的读写流程建立模型,该模型详细刻画了HDFS内部各个组件的功能及相互协作的机制;(2)基于着色Petri网模型,使用状态空间工具分析了HDFS的数据层一致性和操作层一致性,验证并详细说明了HDFS出现不一致的条件;(3)在分析过程中,提出了“时点重复读”的操作层一致性验证方法,采用串行化的重复读策略降低了状态空间复杂度.基于以上工作,针对HDFS上层应用的开发给出建议,帮助提高应用的数据一致性.此外,在建模过程中提出的建模技巧给基于CPN Tools工具分析其他系统提供了借鉴. 展开更多
关键词 HDFS 一致性 建模 着色PETRI网 cpn tools
下载PDF
基于CPN的通信装备战场抢修系统效能优化 被引量:6
16
作者 董成喜 郑志海 武昌 《空军工程大学学报(自然科学版)》 CSCD 北大核心 2006年第4期75-78,共4页
介绍了有色Petri网的基本理论及其仿真工具--CPN Tools,描述了通信装备战场抢修的一般流程和相关参量,建立了战场抢修系统的有色Petri网模型,并对实例进行了仿真实现。通过对原方案的结论分析提出了战场抢修系统的改进方案,并最终实现... 介绍了有色Petri网的基本理论及其仿真工具--CPN Tools,描述了通信装备战场抢修的一般流程和相关参量,建立了战场抢修系统的有色Petri网模型,并对实例进行了仿真实现。通过对原方案的结论分析提出了战场抢修系统的改进方案,并最终实现了系统的效能优化,从而证明了该通信装备战场抢修系统模型具有科学性和实用性。 展开更多
关键词 有色PETRI网 cpn tools 通信装备 战场抢修 效能优化
下载PDF
基于Petri网的概念模型验证方法研究 被引量:5
17
作者 樊浩 黄树彩 《计算机应用研究》 CSCD 北大核心 2010年第3期999-1001,1005,共4页
针对目前概念模型动态部分内容的验证由于其复杂性难以通过阅读式地审查发现其中的瑕疵等问题,提出了利用Petri网进行概念模型验证的一种新思路,研究了进行概念模型验证的具体步骤,分析了概念模型错误对应的Petri网错误,以及检测这些错... 针对目前概念模型动态部分内容的验证由于其复杂性难以通过阅读式地审查发现其中的瑕疵等问题,提出了利用Petri网进行概念模型验证的一种新思路,研究了进行概念模型验证的具体步骤,分析了概念模型错误对应的Petri网错误,以及检测这些错误时需要验证的Petri网性质;最后以防空导弹作战过程为例,研究了利用Petri网以及CPN Tools软件进行概念模型动态部分内容验证的具体过程。实践证明此方法减少了领域专家直接进行概念模型验证的主观性影响,提高了效率。 展开更多
关键词 PETRI网 概念模型验证 cpn tools 防空导弹作战过程
下载PDF
复线列车运行调度的层次Petri模型及仿真 被引量:7
18
作者 王宏刚 《系统仿真学报》 CAS CSCD 北大核心 2011年第12期2793-2798,2804,共7页
在对列车运行调度问题进行分析的基础上,通过综合受控Petri网、颜色Petri网和赋时Petri网的优势,提出一种混合Petri网模型并给出形式化描述和运行规则;采用混合Petri网建立包含设备故障和设备维修两种异常情况的列车运行调度的层次Petr... 在对列车运行调度问题进行分析的基础上,通过综合受控Petri网、颜色Petri网和赋时Petri网的优势,提出一种混合Petri网模型并给出形式化描述和运行规则;采用混合Petri网建立包含设备故障和设备维修两种异常情况的列车运行调度的层次Petri网模型。通过对模型的分析,给出模型具有的两个性质,指出列车运行调度的本质是通过控制可控事件的发生时间来恢复列车的正常运行秩序。最后,以一个具有6个车站和5个区间的调度区段为例,采用CPN TOOLS仿真工具对模型进行了仿真。仿真结果表明了模型的有效性以及设备故障发生概率和列车运行可调整之间的关系。 展开更多
关键词 列车运行调度 PETRI网 cpn tools 仿真
下载PDF
基于层次颜色Petri网的全感应控制交通信号灯建模与仿真 被引量:6
19
作者 顾鸿儒 孙连坤 《计算机工程与科学》 CSCD 北大核心 2016年第9期1887-1893,共7页
针对平面交叉口单点全感应控制信号灯系统实时调度问题,提出一种基于层次颜色Petri网的交叉路口的信号灯动态配时控制模型。首先,运用模糊控制理论对车流量信息进行分类定义。其次,以采集到的车流量信息为控制参数,基于层次颜色Petri网... 针对平面交叉口单点全感应控制信号灯系统实时调度问题,提出一种基于层次颜色Petri网的交叉路口的信号灯动态配时控制模型。首先,运用模糊控制理论对车流量信息进行分类定义。其次,以采集到的车流量信息为控制参数,基于层次颜色Petri网理论建立基本的信号灯轮廓模型,再依据模型中实现的关键功能进行分层细化与逐步求精。此外,将计数器代替时延加入系统模型中,使模型能够直观简洁地反映出红绿灯的循环时间与车流量之间的切换关系。根据所得模型对该交叉口信号灯配时方案的性能指标进行评估与比较。最后,运用CPN Tools对系统模型进行计算仿真,并进行简单的优化性能分析。 展开更多
关键词 实时调度 模糊控制 层次颜色PETRI网 cpn tools 单点全感应信号控制
下载PDF
基于有色Petri网的综电系统总线建模 被引量:3
20
作者 吴松平 宋小庆 +2 位作者 李年裕 宋杰 邹勇 《装甲兵工程学院学报》 2008年第5期62-65,73,共5页
针对运用解析法对战车电子系统总线进行建模和分析困难这一问题,运用CPN Tools工具构建了基于有色Petri网的综合电子系统总线模型,建立了总线性能仿真平台,对某型战车总线性能进行了分析。结果验证了基于CPN的战车综合电子系统总线建模... 针对运用解析法对战车电子系统总线进行建模和分析困难这一问题,运用CPN Tools工具构建了基于有色Petri网的综合电子系统总线模型,建立了总线性能仿真平台,对某型战车总线性能进行了分析。结果验证了基于CPN的战车综合电子系统总线建模的正确性与可行性。 展开更多
关键词 有色Petri网(cpn) 综合电子系统 1553B cpn tools
原文传递
上一页 1 2 4 下一页 到第
使用帮助 返回顶部