注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. CPN-Tools3.0_part1

  2. CPN-Tools3.0 。 2010最新版Petri网建模工具。 压缩包共两部分，请下载part2后在解压

  3. 所属分类：专业指导

    • 发布日期：2011-01-17
    • 文件大小：20971520
    • 提供者：hui1234

  1. CPN-Tools3.0 _part2

  2. CPN-Tools3.0 。 2010最新版Petri网建模工具。 压缩包共两部分，请下载part1后在解压

  3. 所属分类：专业指导

    • 发布日期：2011-01-17
    • 文件大小：17825792
    • 提供者：hui1234

  1. 有色petri网CPN tool 中文帮助文档

  2. 有色petri网（colored petri netscape）建模工具CPN是一款非常优秀的有色petri网模拟及检验工具，CPN 中文帮助文档对想要系统学习有色Petri网的朋友来说是个不错的选择哦~~~

  3. 所属分类：专业指导

    • 发布日期：2011-07-26
    • 文件大小：1048576
    • 提供者：ccnuwy09

  1. CPN Tools安装文件

  2. 有色Petri 网（CPN）是描述并发、同步、异步、资源竞争、协调等动态系统行为的有效工具，不仅有充分的模拟能力和丰富的分析方法，还便于使用和理解。同时，CPN是一种语义严格的形式化数学建模工具，可以定性和定量地分析系统的动态性能。CPN具有如下优点：（1）CPN的并行和同步机制适于并行模型的仿真和分析；（2）CPN不仅可以利用库所、变迁和弧的连接表示系统的静态结构，而且通过变迁的触发(transition)和令牌(token)的移动描述系统的动态行为；（3）CPN具有成熟的图形化建模和分析工

  3. 所属分类：C#

    • 发布日期：2011-10-26
    • 文件大小：16777216
    • 提供者：zss6138

  1. CPN Tools安装文件

  2. 有色Petri 网（CPN）是描述并发、同步、异步、资源竞争、协调等动态系统行为的有效工具，不仅有充分的模拟能力和丰富的分析方法，还便于使用和理解。同时，CPN是一种语义严格的形式化数学建模工具，可以定性和定量地分析系统的动态性能。CPN具有如下优点：（1）CPN的并行和同步机制适于并行模型的仿真和分析；（2）CPN不仅可以利用库所、变迁和弧的连接表示系统的静态结构，而且通过变迁的触发(transition)和令牌(token)的移动描述系统的动态行为；（3）CPN具有成熟的图形化建模和分析工

  3. 所属分类：C++

    • 发布日期：2011-10-26
    • 文件大小：30408704
    • 提供者：zss6138

  1. CPN ML CPN 建模语言

  2. CPN的语法规则，比较全，是学习CPN tools的必备文档

  3. 所属分类：专业指导

    • 发布日期：2011-11-23
    • 文件大小：33792
    • 提供者：liming_qiao

  1. CPN tools 3.4.0

  2. Petri nets 建模工具，CPN tools，有色PN的建模工具，本版本为3.4.0

  3. 所属分类：其它

    • 发布日期：2012-10-10
    • 文件大小：15728640
    • 提供者：ganlanshu121

  1. 建模工具基于Petri Nets 的cpn tools

  2. cpn tools是一个很好的开发工具，基于petri net，可以参考书 business informationsystem

  3. 所属分类：其它

    • 发布日期：2012-10-17
    • 文件大小：15728640
    • 提供者：bensmith0405

  1. cpn建模工具

  2. 这是当前petri网利于最广泛被应用的cpn建模与仿真工具，现在之后可以直接安装使用

  3. 所属分类：交通

    • 发布日期：2013-07-03
    • 文件大小：15728640
    • 提供者：xh931076284

  1. 基于层次CPN的OpenFlow建模研究

  2. CPN作为一种形式化方法，得到了广泛的研究与应用，其在网络协议上和工业系统中的应用尤为突出。OpenFlow是一种新的网络交换模型，包含OpenFlow交换机和控制器，本文首先介绍了OpenFlow协议及CPN(Coloured Petri Nets)，然后基于层次CPN对OpenFlow网络进行了建模，对每一层的模型都做了详细的说明，充分体现OpenFlow的工作机制。在建模的过程中，详细的考虑了模型中token的选取和变量的定义，使得CPN模型的执行可以描述OpenFlow的动态工作过程。

  3. 所属分类：软件测试

    • 发布日期：2013-10-24
    • 文件大小：773120
    • 提供者：hanbingning

  1. CPN tools4.0

  2. CPN tools是专门的petri网建模仿真工具，下载直接能用，不用在官网申请license

  3. 所属分类：桌面系统

    • 发布日期：2013-12-15
    • 文件大小：15728640
    • 提供者：mojianc

  1. CPN tools仿真软件

  2. CPN Tools软件广泛用于Petri网的建模仿真与优化，能够对流程进行优化改进。

  3. 所属分类：项目管理

    • 发布日期：2014-03-31
    • 文件大小：15728640
    • 提供者：u014472760

  1. CPNTools 软件

  2. CPN Tools 是集 编辑、设计与仿真以及分析 于一身的有色Petri Net（CPN）工具，即Colored Petri nets。 此4.0.1是当前最新版，有着很好的GUI，易于使用。 CPN Tools不仅支持基础着色Petri网建立模型，也支持带有时间和分层的着色petri网建立模型。CPN Tools支持CPN ML编程语言，颜色集，时间，层次化建模等。同时，CPN Tools提供丰富的模型分析工具，如监视器，状态空间分析等，增强了它的模型分析能力和模型验证（MC）的能力。

  3. 所属分类：其它

    • 发布日期：2015-06-05
    • 文件大小：15728640
    • 提供者：haifeng_gu

  1. CPN建模语言及CPN Tools的使用教程

  2. CPN建模语言是一种通用建模语言，即它不是着重于为特殊类型系统建模，而是旨在实现一个广泛类型的并发系统的建模。典型的CP-nets应用领域包括通信协议，数据网，分布式算法及嵌入式系统。然而，CP-nets也适用于更广泛地以并发性和交互性为主要特点的系统建模。 本文介绍了CPN建模语言和如何使用CPN Tools中支持的构建、模拟、状态空间分析、性能分析，和可视化的说明。

  3. 所属分类：其它

  1. petri网仿真cpntools

  2. CPN Tools,CPN建模语言是一种通用建模语言，即它不是着重于为特殊类型系统建模，而是旨在实现一个广泛类型的并发系统的建模。典型的CP-nets应用领域包括通信协议，数据网，分布式算法及嵌入式系统。然而，CP-nets也适用于更广泛地以

  3. 所属分类：其它

    • 发布日期：2017-09-14
    • 文件大小：15728640
    • 提供者：snowcsc

  1. CPN TOOLS 最新版本

  2. CPN tools是由丹麦的奥尔胡斯大学开发的一个专用于有色Petri网编辑、模拟和分析的工具，并且仍在不断地完善中。CPN tools提供的分层建模工具、时间颜色集表示以及自动分析工具使得HTCPN方法可以应用于安全协议的自动分析中。

  3. 所属分类：专业指导

    • 发布日期：2009-03-24
    • 文件大小：19922944
    • 提供者：zhaoyanying1

  1. CPNTools建模工具及入门介绍

  2. CPN Tools 是集 编辑、设计与仿真以及分析 于一身的有色Petri Net（CPN）工具。 此4.0.1是当前最新版，有着很好的GUI，易于使用。 仿真工具cPN Tools是一款优秀的Petri网仿真工具，是仿真和分析着色petri网建立的模型。CPNTools不仅支持基础着色Petri网建立模型，也支持带有时间和分层的着色petri网建立模型。CPNTools支持CPN ML编程语言，颜色集，时间，层次化建模等，大大增加了它的描述能力和应用范围。同时，CPNTools提供丰富的模型

  3. 所属分类：软件测试

    • 发布日期：2018-06-21
    • 文件大小：15728640
    • 提供者：xuan1092

  1. CPNtools建模工具

  2. CPN Tools 是集编辑、设计与仿真以及分析于一体的有色Petri Net（CPN）工具，即Colored Petri nets。CPN Tools不仅支持基础着色Petri网建立模型，也支持带有时间和分层的着色petri网建立模型。同时，CPN Tools提供丰富的模型分析工具，增强了它的模型分析能力和模型验证（MC）的能力。

  3. 所属分类：网络基础

    • 发布日期：2018-06-21
    • 文件大小：15728640
    • 提供者：kassapa_buddha

  1. 基于令牌选择的OpenStack单平面网络建模

  2. CPN形式化建模适合，包含大量并发，通信，同步共享行为的软硬件系统建立形式模型，并完成系统功能和性能等方面的行为分析。在传统的CPN建模中，令牌的选取采用穷举法，生成的令牌数量庞大，并且CPN模型生成的状态空间相当庞大，甚至状态空间爆炸等问题。针对上述问题，文中提出将符号执行与CPN建模相结合，并在CPN模型的执行过程中文中通过对OpenStack云平台支持创建的单个平面网络进行CPN建模，针对传统方法和此处方法生成状态空间分析了规模的变化，验证了本文提出的方法的有效性

  3. 所属分类：其它

    • 发布日期：2021-03-09
    • 文件大小：506880
    • 提供者：weixin_38672794

  1. cpncourse：有色Petri网和CPN工具课程-源码

  2. 有色陪替氏网和CPN工具课程 可以从此处下载CPN工具： CPN书的主页可以在以下位置找到： : 阅读和准备 CPN模块基于以下列出的书籍章节和论文： 《彩色Petri网》一书的第1章和第2章： : CPN论文可通过以下： : 在有色Petri网的两个模块中，我们将使用CPN工具。 建议您在参加Petri Net课程之前先在PC上下载并安装该工具。 如果您在安装过程中遇到任何技术问题，请访问或联系讲师。 模块I-建模和CPN工具 第一个模块着重于彩色Petri网（CPN）建模语

  3. 所属分类：其它

    • 发布日期：2021-02-11
    • 文件大小：26214400
    • 提供者：weixin_42164931
« 12 »