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

搜索资源列表

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

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

  3. 所属分类：嵌入式

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

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

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

  3. 所属分类：专业指导

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

  1. Petri网学习资料

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

  3. 所属分类：制造

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

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

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

  3. 所属分类：其它

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

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

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

  3. 所属分类：专业指导

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

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

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

  3. 所属分类：专业指导

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

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

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

  3. 所属分类：网络基础

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

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

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

  3. 所属分类：网络基础

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

  1. petri网验证协议

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

  3. 所属分类：项目管理

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

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

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

  3. 所属分类：网络基础

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

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

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

  3. 所属分类：其它

    • 发布日期：2020-07-18
    • 文件大小：1048576
    • 提供者：weixin_38690402

  1. 一种基于有色Petri网的安全协议分析方法研究

  2. 利用有色Petri网建模工具CPN tools中的查询函数对安全属性进行描述，搭建一个能够覆盖大部分安全性质的CPN查询函数库，提出一种基于CPN的通用和规范的安全协议形式化分析语言，该语言可以像用面向对象编程语言编程一样对安全协议进行建模。

  3. 所属分类：其它

    • 发布日期：2020-10-20
    • 文件大小：249856
    • 提供者：weixin_38738189

  1. 基于分层模糊有色Petri网的防空C3I系统建模研究

  2. 基于分层模糊有色Petri网的防空C3I系统建模研究

  3. 所属分类：其它

    • 发布日期：2021-03-12
    • 文件大小：611328
    • 提供者：weixin_38741996

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

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

  3. 所属分类：其它

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

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

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

  3. 所属分类：其它

    • 发布日期：2021-03-10
    • 文件大小：1048576
    • 提供者：weixin_38713306

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

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

  3. 所属分类：其它

    • 发布日期：2021-03-10
    • 文件大小：371712
    • 提供者：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
    • 文件大小：26214400
    • 提供者：weixin_42164931

  1. 基于有色Petri网的变电站监控数据版本控制建模与研究

  2. 在大型设备的状态数据库中,数据版本的管理不善会造成系统的混乱甚至崩溃。针对这些问题,通过对已有版本控制方法的分析比较,设计了一种新的数据版本控制方法。该方法构建一种有色Petri网(CPN),模拟数据版本控制过程,用不同颜色的托肯表示数据的不同版本,通过限制变迁的触发序列模拟数据版本的更新过程,应用Petri网的并发机制和SQL Server并发机制解决了版本更新过程中的并发、合并等问题。通过变电站监控系统的实例得出:该方法可用于中、大型系统的数据版本控制,有效提高了历史数据的管理水平。

  3. 所属分类：其它

    • 发布日期：2021-02-09
    • 文件大小：360448
    • 提供者：weixin_38705699

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

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

  3. 所属分类：其它

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

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

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

  3. 所属分类：其它

    • 发布日期：2021-03-20
    • 文件大小：2097152
    • 提供者：weixin_38733733
« 12 3 »