优先级Petri网的CPN Tools仿真模型研究 被引量：7

1

作者 王胜德 胡望斌 徐宗昌 《系统仿真学报》 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 职称材料

基于CPN Tools的可重入自动组合设备的建模与仿真 被引量：1

2

作者 张梅 陈广森 游佳 《系统仿真学报》 CAS CSCD 北大核心 2015年第12期2927-2934,2941,共9页

提出将全自动免疫分析检测设备看作一种可重入的双臂自动组合设备。采用时间着色的Petri网(TCPN)对该类检测设备的检测过程进行建模,并利用CPN tools评价模型性能及仿真实验。为优化检测过程,设计了DPC动态投料策略和LSPON、FIFO调度策... 提出将全自动免疫分析检测设备看作一种可重入的双臂自动组合设备。采用时间着色的Petri网(TCPN)对该类检测设备的检测过程进行建模,并利用CPN tools评价模型性能及仿真实验。为优化检测过程,设计了DPC动态投料策略和LSPON、FIFO调度策略,并综合两类策略提出复合控制策略对TCPN模型进行调度求解。针对不同规模的批量检测项目实例在CPN tools平台上结合提出的不同策略进行调度。仿真结果验证了TCPN模型与所提出策略相结合调度方法的合理性。 展开更多

关键词 可重入 自动组合设备 调度 PETRI网 cpn toolS

在线阅读 下载PDF 职称材料

基于CPN Tools的抑制弧改进方法研究 被引量：1

3

作者 王红 张涛 《计算机应用研究》 CSCD 北大核心 2012年第11期4210-4212,共3页

在Petri网模型中,抑制弧用于表示除输入库所条件外,仅当指定库所为空时变迁才可以触发的情况,可以应用于各类Petri网中。在广泛使用的Petri网模型工具CPN Tools中没有直接提供抑制弧,仅给出了两种等价处理方法。通过对抑制弧的问题进行... 在Petri网模型中,抑制弧用于表示除输入库所条件外,仅当指定库所为空时变迁才可以触发的情况,可以应用于各类Petri网中。在广泛使用的Petri网模型工具CPN Tools中没有直接提供抑制弧,仅给出了两种等价处理方法。通过对抑制弧的问题进行分析,提出在CPN Tools使用List解决抑制弧问题的改进方法。此方法具有良好的通用性和易用性,并且仅通过修改DropOneInList函数的内容就可以实现随机、栈方式、队列方式、优先级等各种令牌提取方法。 展开更多

关键词 PETRI 有色Petri网工具 抑制弧 列表 令牌

在线阅读 下载PDF 职称材料

CPN—TOOLS在装备维修规划中的应用研究 被引量：18

4

作者 李阳 武昌 曹洪权 《系统仿真学报》 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 职称材料

基于CPN的通信装备战场抢修系统效能优化 被引量：6

5

作者 董成喜 郑志海 武昌 《空军工程大学学报（自然科学版）》 CSCD 北大核心 2006年第4期75-78,共4页

介绍了有色Petri网的基本理论及其仿真工具--CPN Tools,描述了通信装备战场抢修的一般流程和相关参量,建立了战场抢修系统的有色Petri网模型,并对实例进行了仿真实现。通过对原方案的结论分析提出了战场抢修系统的改进方案,并最终实现... 介绍了有色Petri网的基本理论及其仿真工具--CPN Tools,描述了通信装备战场抢修的一般流程和相关参量,建立了战场抢修系统的有色Petri网模型,并对实例进行了仿真实现。通过对原方案的结论分析提出了战场抢修系统的改进方案,并最终实现了系统的效能优化,从而证明了该通信装备战场抢修系统模型具有科学性和实用性。 展开更多

关键词 有色PETRI网 cpn toolS 通信装备 战场抢修 效能优化

在线阅读 下载PDF 职称材料

基于CPN的在轨服务概念建模 被引量：2

6

作者 史建伟 蔡远文 苏明 《系统仿真学报》 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 职称材料

基于赋时CPN的应急空间系统体系结构建模与分析 被引量：1

7

作者 吴钰飞 廖育荣 《系统仿真学报》 CAS CSCD 北大核心 2008年第S2期107-110,共4页

在分析应急空间系统体系结构概念与运作过程的基础上,建立了应急空间系统体系结构的赋时CPN模型,并描述了模型的组成要素;运用CPNTools的状态空间分析工具分析了应急空间系统体系结构模型的逻辑性,验证了模型的合理性;运用CPNTools对模... 在分析应急空间系统体系结构概念与运作过程的基础上,建立了应急空间系统体系结构的赋时CPN模型,并描述了模型的组成要素;运用CPNTools的状态空间分析工具分析了应急空间系统体系结构模型的逻辑性,验证了模型的合理性;运用CPNTools对模型进行了多次仿真,依据多次仿真数据并结合gnuplot软件分析了应急空间系统体系结构的性能。 展开更多

关键词 赋时cpn 系统体系结构 体系结构建模 cpn toolS

在线阅读 下载PDF 职称材料

基于CPN状态空间分析的复杂系统脆性度量

8

作者 冯丽萍 彭其渊 文超 《计算机应用研究》 CSCD 北大核心 2017年第11期3247-3250,共4页

为进一步解决复杂系统脆性理论既有研究工具存在的系统状态定量描述困难、系统边界条件约束较多等问题,将有色Petri网及其仿真工具CPN Tools引入到复杂系统脆性度量研究中。有色Petri网及CPN Tools内置的查询工具、既有的高级状态空间... 为进一步解决复杂系统脆性理论既有研究工具存在的系统状态定量描述困难、系统边界条件约束较多等问题,将有色Petri网及其仿真工具CPN Tools引入到复杂系统脆性度量研究中。有色Petri网及CPN Tools内置的查询工具、既有的高级状态空间计算方法都降低了复杂系统脆性度量中的问题复杂度。提出基于状态空间分析的复杂系统脆性度量指标并给出编程实现流程。仿真算例表明状态空间内状态节点的脆性传递过程及其影响范围能够间接反映系统脆性行为。 展开更多

关键词 复杂系统 脆性度量 有色PETRI网 cpn toolS 状态空间

在线阅读 下载PDF 职称材料

基于CPN的进路式联锁调度建模及其分析 被引量：1

9

作者 李国强 林果园 马栋 《计算机应用研究》 CSCD 北大核心 2012年第7期2575-2578,共4页

提出一种基于有色Petri网(CPN)的进路式联锁调度算法模型,其中包括对联锁调度过程中机车的任务内正常行驶、进路联锁运算、机车驶离任务路线、闯入未开放进路、故障处理恢复等情况建立了清晰的模型。并利用CPN Tools对模型进行仿真验证... 提出一种基于有色Petri网(CPN)的进路式联锁调度算法模型,其中包括对联锁调度过程中机车的任务内正常行驶、进路联锁运算、机车驶离任务路线、闯入未开放进路、故障处理恢复等情况建立了清晰的模型。并利用CPN Tools对模型进行仿真验证与分析,结果表明该联锁调度CPN模型正确模拟了井底机车运输调度,对于机车调度是安全可靠的。 展开更多

关键词 联锁调度 有色PETRI网 运输监控 锁闭 联锁运算 cpntools

在线阅读 下载PDF 职称材料

基于CPN的小灵通业务建模及在业务冲突的应用

10

作者 李小敏 《科学技术与工程》 2007年第10期2365-2368,共4页

运用着色Petri网建模分析工具CPN Tools对小灵通彩铃和双振业务建模,提出分层网络结构,将电信网络以网元为基础建模。通过对模型结构和网元参数的调整将多个业务集成,为电信业务的建模和检测业务冲突提供了一种方便和快捷方法。

关键词 业务冲突 着色PETRI网 cpn toolS

在线阅读 下载PDF 职称材料

基于着色Petri网的HDFS数据一致性建模与分析 被引量：10

11

作者 乔嘉林 黄向东 +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 职称材料

基于Petri网军民共用停机坪运行仿真与分析 被引量：9

12

作者 黄学林 王观虎 +1 位作者 陈奇奇 耿昊 《科学技术与工程》 北大核心 2022年第2期841-849,共9页

为解决军民用停机坪运行冲突问题,通过分析军用飞机与民用飞机共同使用机坪及其附近区域的滑行规则,基于模块化建模思想,建立基于停机坪区域的分层赋时着色Petri网模型。提出冲突点选择避让机制,设计运行模型控制器,将场面运行控制知识... 为解决军民用停机坪运行冲突问题,通过分析军用飞机与民用飞机共同使用机坪及其附近区域的滑行规则,基于模块化建模思想,建立基于停机坪区域的分层赋时着色Petri网模型。提出冲突点选择避让机制,设计运行模型控制器,将场面运行控制知识与模块的库所和变迁集成,增强模型的智能决策能力,基于CPN Tools软件平台实现模块化建模。结果表明,采用规则的算法模型能有效减少军用飞机与民用飞机冲突,实现冲突解脱控制,验证了模型的有效性,保证军民用飞机高效、有序运行。 展开更多

关键词 航空运输 场面运行 分层赋时着色Petri网 冲突避让 智能决策 cpn tools软件

在线阅读 下载PDF 职称材料

产品开发过程资源管理及其仿真 被引量：16

13

作者 祖旭 黄洪钟 +1 位作者 周峰 古莹奎 《系统仿真学报》 EI CAS CSCD 北大核心 2005年第6期1322-1325,共4页

资源建模是现代产品开发过程管理的一个重要问题。首先分析了产品开发过程中的资源及其属性和分类,形成了可以在仿真模型中应用的资源类。应用有色Petri网仿真软件,建立了基于资源分配和控制的产品开发过程模型。在对模型的交互式仿真... 资源建模是现代产品开发过程管理的一个重要问题。首先分析了产品开发过程中的资源及其属性和分类,形成了可以在仿真模型中应用的资源类。应用有色Petri网仿真软件,建立了基于资源分配和控制的产品开发过程模型。在对模型的交互式仿真过程中,实现了对资源使用性能的定量分析和资源优化配置。从仿真结果看,该方法具有很好的应用价值。 展开更多

关键词 资源管理 产品开发过程建模 有色PETRI网 工作流仿真 cpn toolS

在线阅读 下载PDF 职称材料

高铁列车运行控制信息传递流程结构脆性分析 被引量：7

14

作者 彭其渊 冯丽萍 +1 位作者 文超 张馨竹 《西南交通大学学报》 EI CSCD 北大核心 2017年第4期796-801,809,共7页

针对目前高速铁路列车运行控制过程安全研究多以单个子系统为研究对象,缺乏系统整体性且忽略了系统间的风险传递特性的问题,基于复杂系统脆性理论和有色Petri网及其仿真工具,以系统间的信息传递过程为切入点,建立一个包括计算机联锁子... 针对目前高速铁路列车运行控制过程安全研究多以单个子系统为研究对象,缺乏系统整体性且忽略了系统间的风险传递特性的问题,基于复杂系统脆性理论和有色Petri网及其仿真工具,以系统间的信息传递过程为切入点,建立一个包括计算机联锁子系统、列控子系统和调度指挥子系统的三级模型;从脆性源、脆性传播路径、系统崩溃标准3个特征出发阐述高速铁路列车运行控制过程的结构脆性;基于有色Petri网仿真工具CPN Tools中的I/O文件流和C#建立状态空间结构脆性分析平台.研究结果表明:行车许可请求子模型MAR(movement authority request)中变迁间的相关性平均值为56.72%,CTCS-3级列控子模型CTCS3(Chinese train control system-3)内的变迁间的相关性平均值为9.56%,可根据结构脆性指标的不同制定差别化的日常安全管理策略. 展开更多

关键词 高速铁路 列车运行控制 脆性 cpntools 仿真平台

在线阅读 下载PDF 职称材料

基于有色Petri网的FIFO栈建模与优化 被引量：5

15

作者 付新华 肖明清 +1 位作者 袁大勇 邹德鹏 《仪器仪表学报》 EI CAS CSCD 北大核心 2008年第3期577-582,共6页

先入先出FIFO栈在智能仪器及测试系统中起着重要作用。针对FIFO栈设计缺乏理论指导和严格数学验证的问题,提出采用有色Petri网(CP-net)来建模和优化FIFO栈。提出了一种FIFO栈设计模型,FIFO栈的入栈口和出栈口固定但容量可变。应用建模... 先入先出FIFO栈在智能仪器及测试系统中起着重要作用。针对FIFO栈设计缺乏理论指导和严格数学验证的问题,提出采用有色Petri网(CP-net)来建模和优化FIFO栈。提出了一种FIFO栈设计模型,FIFO栈的入栈口和出栈口固定但容量可变。应用建模、仿真工具CPN Tools对FIFO栈的动态运行过程进行建模、仿真和分析,并在此基础上,对FIFO栈模型进行了优化。采用Verilog HDL在现场可编程逻辑门阵列FPGA上具体实现了FIFO栈的硬件电路。仿真结果和实际应用表明,该设计模型是活的、公平的、安全的和高效的。 展开更多

关键词 FIFO栈 有色PETRI网 建模 优化 cpn toolS 硬件实现

在线阅读 下载PDF 职称材料

基于着色Petri网的IS-IS路由协议互操作性测试的研究 被引量：2

16

作者 赵玉兰 冀超 +3 位作者 蒋凤仙 朱洋洋 雷厉霆 张志斌 《计算机工程与科学》 CSCD 北大核心 2013年第12期90-95,共6页

网络已经成为我们生活当中不可或缺的一部分,高效稳定的路由协议变得日益重要。对主流内部网关协议IS-IS进行了互操作性测试的研究。首先对IS-IS协议建立了分层的互操作性测试的CPN模型;然后使用CPN Tools工具自动生成完全状态空间,根... 网络已经成为我们生活当中不可或缺的一部分,高效稳定的路由协议变得日益重要。对主流内部网关协议IS-IS进行了互操作性测试的研究。首先对IS-IS协议建立了分层的互操作性测试的CPN模型;然后使用CPN Tools工具自动生成完全状态空间,根据测试目的生成测试序列,编写测试例;最后搭建测试平台,在Windows XP平台下,使用路由模拟软件GNS 3模拟Cisco 7200、Cisco 3640等设备,用得到的测试例对IS-IS协议进行了互操作性测试,并对测试结果进行了分析,给出了测试报告。 展开更多

关键词 IS-IS协议 互操作性测试 着色PETRI网 cpn toolS GNS3模拟器

在线阅读 下载PDF 职称材料

基于Petri网的概念模型验证方法研究 被引量：5

17

作者 樊浩 黄树彩 《计算机应用研究》 CSCD 北大核心 2010年第3期999-1001,1005,共4页

针对目前概念模型动态部分内容的验证由于其复杂性难以通过阅读式地审查发现其中的瑕疵等问题,提出了利用Petri网进行概念模型验证的一种新思路,研究了进行概念模型验证的具体步骤,分析了概念模型错误对应的Petri网错误,以及检测这些错... 针对目前概念模型动态部分内容的验证由于其复杂性难以通过阅读式地审查发现其中的瑕疵等问题,提出了利用Petri网进行概念模型验证的一种新思路,研究了进行概念模型验证的具体步骤,分析了概念模型错误对应的Petri网错误,以及检测这些错误时需要验证的Petri网性质;最后以防空导弹作战过程为例,研究了利用Petri网以及CPN Tools软件进行概念模型动态部分内容验证的具体过程。实践证明此方法减少了领域专家直接进行概念模型验证的主观性影响,提高了效率。 展开更多

关键词 PETRI网 概念模型验证 cpn toolS 防空导弹作战过程

在线阅读 下载PDF 职称材料

基于Pareto多目标优化的工业传感网路由协议研究 被引量：1

18

作者 吴怡之 全东平 +2 位作者 许红安 齐金鹏 丁永生 《计算机科学》 CSCD 北大核心 2011年第4期100-103,共4页

工业传感网通常包含实时性和可靠性在内的多个性能指标,因此需要应用多目标优化方法设计路由算法,以满足性能需求。在收集树协议CTP的基础上进行改进,提出了基于Pareto多目标优化的路由协议TCTP。该协议首先在单跳链路质量评估中,增加... 工业传感网通常包含实时性和可靠性在内的多个性能指标,因此需要应用多目标优化方法设计路由算法,以满足性能需求。在收集树协议CTP的基础上进行改进,提出了基于Pareto多目标优化的路由协议TCTP。该协议首先在单跳链路质量评估中,增加单跳节点传输时延性能指标。然后运用Pareto原理通过路由拓扑建立了多路径路由,并基于数据传输的实时性和可靠性指标,选择多路径路由。最后使用有色Petri网对TCTP进行了形式化建模并利用CPN Tools工具进行了实现和验证。与CTP协议相比,TCTP协议不仅在选择传输路径上具有更强的适用性和灵活性,而且满足了工业上实时、可靠等多目标传输性能的需求。 展开更多

关键词 无线传感器网络 工业传感网 TCTP 有色PETRI网 cpn工具

在线阅读 下载PDF 职称材料

基于petri网分布式发电系统的能量协调控制 被引量：2

19

作者 吴丽群 杨俊华 +2 位作者 杨梦丽 曾君 吴捷 《广东电力》 2012年第7期15-21,30,共8页

针对风能、太阳能等可再生能源不稳定、不连续问题,基于Multi-Agent和层次有色petri网技术,提出分布式发电系统的能量管理协调控制方案。首先将系统内的各设备处理成相对独立的Agent,通过Agent之间的通信进行能量协调控制;应用层次有色p... 针对风能、太阳能等可再生能源不稳定、不连续问题,基于Multi-Agent和层次有色petri网技术,提出分布式发电系统的能量管理协调控制方案。首先将系统内的各设备处理成相对独立的Agent,通过Agent之间的通信进行能量协调控制;应用层次有色petri网描述分布式发电系统的离散性和动态性;根据电能质量综合指标决定发电设备的供电次序,使发电设备输出较高质量的电能;基于CPN Tools平台建立了分布式发电能量管理系统模型。仿真结果表明,所提方案可实现系统发电设备按电能质量综合指标值逐减的顺序对负载进行供电,实时控制蓄电池的充放电,实现系统安全稳定运行。 展开更多

关键词 分布式发电系统 能量管理系统 PETRI网 cpntools 多智能体系统

在线阅读 下载PDF 职称材料

一种颜色Petri网的电子商务协议分析方法 被引量：1

20

作者 王宝文 卢贝 +1 位作者 司亚利 刘文远 《小型微型计算机系统》 CSCD 北大核心 2013年第11期2594-2598,共5页

针对现有颜色Petri网方法未能分析时限性的缺点,提出一种基于颜色Petri网的电子商务协议分析方法,用于分析可追究性、公平性和时限性三个重要安全属性.针对时限性建立了表示主体是否成功接收消息的状态颜色集和主体自定义的时间颜色集,... 针对现有颜色Petri网方法未能分析时限性的缺点,提出一种基于颜色Petri网的电子商务协议分析方法,用于分析可追究性、公平性和时限性三个重要安全属性.针对时限性建立了表示主体是否成功接收消息的状态颜色集和主体自定义的时间颜色集,并充分考虑时限性对公平性的影响,更加有效地分析公平性.文中以KZG协议为例,建立了KZG的分层颜色Petri网模型,利用CPN Tools工具对该模型仿真运行,并通过状态空间和查询函数分析了协议的性质,证明了本方法的有效性. 展开更多

关键词 形式化分析方法 电子商务协议 颜色PETRI网 cpn toolS KZG协议

在线阅读 下载PDF 职称材料