着色Petri网(CPN)相关论文
为解决in-APP第三方支付中密钥泄漏、信息显示不全、商家APP缺乏预信任等问题,采用着色Petri网(CPN)模型对现有的订单篡改、通知假......
飞机发动机控制软件作为机载系统的核心控制软件,其安全性十分重要。由于飞机发动机控制软件功能繁多且逻辑关系复杂,建立软件模型......
业务流程是组合服务的主要表现形式之一.跨组织多方协作流程往往包含多重粒度,难以基于任何单一粒度建模.Proclets方法将多粒度单......
在综合模块化航空电子(IMA)系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一......
激励机制是BitTorrent协议的重要组成部分，它鼓励用户上传以获得更快的下栽速度，并提高系统整体性能。原有BitTorrent激励机制存在大......
案例推理（CBR）是人工智能的一种新求解方法，其中案例检索（case retrieval）是案例推理过程的一个重要环节。在CBR基础上引入了Petri网理......
防空反导作战系统是一个复杂的军事系统，具有同步、并发、冲突等特点。应用着色Petri网技术对联合反TBM作战系统进行建模，符合联合反......
针对运行时支撑环境（RTI）性能测试指标难以有效支持RTI性能优化和高层体系结构（HLA）联邦优化设计的问题，从RTI数据交换机理角度对RTI性......
该文详细介绍了着色Petri网（CPN）的基本概念、原理和应用。作为设计良好的程序结构的工具,通过一个简单的实例来说明如何构建良好的......
基于系统建模语言（SysML）的系统模型动态性能效能评价，采用一组性能指标参数值联系系统可执行模型。该评价步骤包括：系统分析与设计、......
