云南高校图书馆联盟文献共享服务平台- CPN

CPN: 作品数：356被引量：730H指数：11; 导出分析报告; 相关领域：自动化与计算机技术医药卫生更多>>; 相关作者：叶新铭李华朱连章刘靖杨春辉更多>>; 相关机构：内蒙古大学北京交通大学华南理工大学中国石油大学（华东）更多>>; 相关期刊：更多>>; 相关基金：国家自然科学基金国家高技术研究发展计划内蒙古自治区自然科学基金国家重点基础研究发展计划更多>>

-

在结果中检索

检索结果分析

结果分析中...

选择条件：

期刊=计算机应用与软件

共条记录，以下是1-5

全选清除导出

参考文献引证文献引用追踪

视图：

排序：

基于ASK-CTL的有色Petri网模型检验算法研究被引量：2: 《计算机应用与软件》2015年第10期302-305,333,共5页马国富刘文良周建勇刘久富; 针对使用CPN Tools工具建立系统CPN(Colored Petri Net)模型并进行仿真所得到的状态空间报告中出现的死标识是否会影响系统的安全性和模型的正确性进行研究,提出基于ASK-CTL的有色Petri网模型检验算法及死标识合理性验证算法。算法描述...; 关键词：模型检验死标识电梯门系统 CPN 模型

一种含时间因素的安全协议形式化分析方法被引量：1: 《计算机应用与软件》2013年第1期315-318,共4页范玉涛苏桂平; 中国科学院研究生院院长基金项目(Y15102HN00); 提出一种针对包含时间因素的安全协议的有色Petri(CPN)形式化分析方法,利用CPN Tools中的内置全局自动时钟标记,时间相关性质可通过仿真和生成状态图进行分析验证。基于这一方法,对著名的NS协议(简化版)建模,来分析验证与时间相关的安...; 关键词：形式化分析CPN 时间因素安全协议

基于CPN的舰船电子综合化系统总线建模被引量：7: 《计算机应用与软件》2012年第11期116-118,147,共4页吴文铁张长伟张文祥; 国家重大专项(2009ZX01039-002-001-04); 在舰船电子综合化系统的设计过程中,总线性能指标与整个系统的总体性能指标有着密切的关系。以有色Petri网CPN(Colored Petri Net)为理论工具,构建基于CPN的舰船电子综合化系统总线模型,给出了相应的控制规程。通过仿真实验得到总线性...; 关键词：舰船电子综合化系统有色PETRI网总线建模

基于CPN状态空间的软件场景测试: 《计算机应用与软件》2010年第9期37-40,65,共5页蔡立志; 国家高技术研究发展计划项目子课题(CFA2009RJZX01);国家火炬项目(2009GH520068);上海市科委创新(10DZ2291800); CPN作为一种重要的建模工具,组合了高级编程语言和常规Petri网的优点,具有状态空间仿真和分析能力。提出了针对CPN状态空间的四种覆盖准则:状态覆盖、变迁覆盖、状态对覆盖、变迁覆盖,对自动饮料机系统进行了CPN建模,并用四种不同场景的...; 关键词：仿真覆盖状态空间 CPN

基于CPN的两阶段提交协议建模被引量：1: 《计算机应用与软件》2009年第6期210-212,252,共4页朱连章李青; CPN(Colored Petri Net)是一种面向图形的语言,用来仿真和验证系统,尤其适用于复杂的分布式系统。简单介绍分布式事务处理协议中的两阶段提交协议,提出一种基于CPN的两阶段提交协议建模和分析方法,完整阐述两阶段提交协议的建模过程和...; 关键词：两阶段提交协议 CPN 分布式系统

全选清除导出

共1页<1>

检索报告对象比较聚类工具使用帮助返回顶部