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

搜索资源列表

  1. 分层有色PETRI NET（HCPN）及其在宝钢炼钢连铸生产物流系统仿真建模中的应用.PDF

  2. 分层有色PETRI NET（HCPN）的具体应用。具有参考价值。

  3. 所属分类：嵌入式

    • 发布日期：2010-01-26
    • 文件大小：164kb
    • 提供者：wangsongfeng

  1. 有色Petri网教程【PPT】【CPN】

  2. 有色Petri网教程【PPT】【CPN】 是英文版的， 内容还可以的

  3. 所属分类：专业指导

    • 发布日期：2010-04-08
    • 文件大小：890kb
    • 提供者：seulty

  1. Petri网学习资料

  2. Petri网是1962年由德国C. A. Petri在他的博士论文中首次提出的网状结构的信息流模型。Petri网既是一种图形工具又是一种数学工具。作为图形工具，Petri网像软件设计中的结构图、流程图一样直观、形象，而且在这些网中，可以使用标记来模拟系统的动态行为和并发活动；作为一种数学工具，它可以建立状态方程、代数方程以及系统行为的其他数学模型，这些数学方程和模型有利于计算和验证。具有并发、并行、异步、分布特点的系统，都可以利用Petri网建立模型，然后进行分析验证。自诞生以来，Petri网

  3. 所属分类：制造

    • 发布日期：2010-11-09
    • 文件大小：7mb
    • 提供者：ccnuwy09

  1. 有色Petri网教程，PPT非常详细，值得一看

  2. 有色Petri网教程，PPT非常详细，值得一看。有色Petri网是对Petri网模型的补充与发展。

  3. 所属分类：其它

    • 发布日期：2011-03-22
    • 文件大小：3kb
    • 提供者：ccnuwy09

  1. 有色Petri网教程，PPT非常详细，值得一看

  2. 介绍了有色Petri网的建模与应用，对于学习Petrri网建模的用户来说不错

  3. 所属分类：专业指导

    • 发布日期：2011-07-02
    • 文件大小：1mb
    • 提供者：ccnuwy09

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

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

  3. 所属分类：专业指导

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

  1. CPN Tools安装文件

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

  3. 所属分类：C++

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

  1. 基于有色Petri网模型的安全协议检测方法

  2. 基于有色Petri网模型的安全协议检测方法

  3. 所属分类：网络基础

    • 发布日期：2012-02-22
    • 文件大小：244kb
    • 提供者：feiyugx1984

  1. 基于有色Petri网的攻击场景构造

  2. 基于有色Petri网的攻击场景构造

  3. 所属分类：网络基础

    • 发布日期：2012-02-22
    • 文件大小：309kb
    • 提供者：feiyugx1984

  1. cpn tools 3.3.2

  2. Petri网建模和仿真工具cpn-tools

  3. 所属分类：其它

    • 发布日期：2012-03-09
    • 文件大小：15mb
    • 提供者：dyxhy

  1. petri网验证协议

  2. 对协议的形式化验证，用有色petri网对协议进行证明验证

  3. 所属分类：项目管理

    • 发布日期：2012-04-09
    • 文件大小：1mb
    • 提供者：baiyangxiao111

  1. 基于时间—有色Petri网的电梯系统的建模与分析

  2. 该文章用时间—有色Petri网详细对电梯系统进行了建模和分析，有很强的参考价值。

  3. 所属分类：网络基础

    • 发布日期：2012-12-31
    • 文件大小：68kb
    • 提供者：lyqing405

  1. CPN进阶课件

  2. 对应 coloured petri net 的课本所出的课件.. 一共12个课件...进阶必备...

  3. 所属分类：专业指导

    • 发布日期：2013-03-26
    • 文件大小：13mb
    • 提供者：lulu9120

  1. 矿井机车运输监控系统调度联锁过程的Petri网建模

  2. 分析了机车运输监控系统中调度联锁的基本规则,采用有色Petri网对矿井机车调度联锁过程进行了建模.在建模的过程中,对库所和变迁进行了着色;使用约束组合弧并结合外部输入的车到和过车信息,对机车运行路线错误、任务内闯红灯等意外情况进行了描述;对进路的闭锁和解锁情况进行了细分,根据保证安全和兼顾效率的原则,建立了不同的控制方式;最后给出了调度联锁过程的整体Petri网模型.

  3. 所属分类：其它

  1. 基于有色Petri网的*行为分析与检测

  2. 基于有色Petri网的*行为分析与检测

  3. 所属分类：其它

    • 发布日期：2021-03-10
    • 文件大小：864kb
    • 提供者：weixin_38606294

  1. 用有色Petri网对容错移动代理进行建模

  2. 用有色Petri网对容错移动代理进行建模

  3. 所属分类：其它

  1. 基于模糊有色Petri网的故障诊断方法

  2. 基于模糊有色Petri网的故障诊断方法

  3. 所属分类：其它

    • 发布日期：2021-03-10
    • 文件大小：363kb
    • 提供者：weixin_38737980

  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
    • 文件大小：25mb
    • 提供者：weixin_42164931

  1. 基于有色Petri 网的时钟同步协议安全性分析

  2. 随着工业以太网的发展, 作为其实时性保障核心技术的时钟同步协议的安全性变得至关重要. 针对时钟同步协议的安全性问题, 首先提出一种基于有色Petri 网的时钟同步协议安全性分析方法; 然后通过建立协议的有色Petri 网模型, 利用状态方程等工具针对不安全状态的可达性进行判断分析, 从而实现时钟同步协议的安全性分析; 最后具体分析了一种基于精密时钟同步协议(PTP) 的时钟同步协议以及针对该协议的主时钟欺骗攻击, 验证了所提出方法的有效性.

  3. 所属分类：其它

    • 发布日期：2021-01-14
    • 文件大小：244kb
    • 提供者：weixin_38606811

  1. 通过时空耦合安全约束的改进定时有色Petri网进行危害分析

  2. 通过时空耦合安全约束的改进定时有色Petri网进行危害分析

  3. 所属分类：其它

« 12 »