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

搜索资源列表

  1. 基于π演算的Petri网和密码协议的形式化分析

  2. 上海交大博士论文 基于π演算的Petri网和密码协议的形式化分析

  3. 所属分类：其它

    • 发布日期：2009-05-19
    • 文件大小：3mb
    • 提供者：iamsxy999

  1. Petri网理论与系统模拟PDF版

  2. Petri网理论与系统模拟PDF版，转自超星数字图书馆，方便大家使用和学习了

  3. 所属分类：专业指导

    • 发布日期：2010-01-08
    • 文件大小：4mb
    • 提供者：flyerxman

  1. petri分析工具 pipe

  2. 基于JAVA的一个petri分析模拟工具，好用

  3. 所属分类：Java

    • 发布日期：2010-07-17
    • 文件大小：1mb
    • 提供者：helloafei

  1. tina-2.9.8

  2. Tina是一款对时间Petri网支持得比较好的软件，也是我用得较多的一款软件。 它的运行程序是解压后\bin目录下的nd.exe文件(NetDraw)，适用于Windows和Linux操作系统，也就是说他的移植性很好。 Tina的操作也比较特别，很多操作需要借助键盘按键来完成，如： Ctrl + g用来切换软件背景网格线的有无；鼠标中键用来添加库所；Ctrl +鼠标中键用来添加变迁；用鼠标中键在库所与变迁间拖拽可以添加弧。 他有专门的模拟模块，点击菜单的tools-stepper simula

  3. 所属分类：Linux

    • 发布日期：2010-10-14
    • 文件大小：4mb
    • 提供者：koalamm638

  1. Petri网学习资料

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

  3. 所属分类：制造

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

  1. PIPE2 Petri网绘制，模拟工具

  2. 在PIPE中可以绘制Petri网，模拟Petri网的动态效果，从而让大家能直观地对Petri网有认识

  3. 所属分类：其它

    • 发布日期：2010-11-24
    • 文件大小：5mb
    • 提供者：laylasama

  1. petri网工具，可以提供绘制、运行及模拟的操作

  2. (1)petri网仿真工具VON (2)petri网仿真工具winttpn 这两个工具都比较好用，对初学petri网的人来说，简单易学。图形直观。

  3. 所属分类：其它

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

  1. Petri网编辑工具 Pipe 3.0

  2. 编辑Petri网的工具，简单实用，使用非常方便

  3. 所属分类：其它

    • 发布日期：2012-02-21
    • 文件大小：10mb
    • 提供者：cpu_angle

  1. petri模拟工具，Java程序，PIPEV4

  2. Petri网分析工具 广义随机Petri网下的组合Web服务建模与评价 基于Petri网原理的数据流模型研究

  3. 所属分类：Web开发

    • 发布日期：2012-03-12
    • 文件大小：24mb
    • 提供者：jckstop

  1. petri网建模

  2. Petri网是由德国的Carl Adam Petri在1962年所写的博士论文 (用自动机通信)中提出的，Petri先生在论文中使用网状结构模拟通信系统，研究信息系统及其相互关系的数学模型。

  3. 所属分类：网络管理

    • 发布日期：2012-11-26
    • 文件大小：351kb
    • 提供者：zuomingh

  1. Petri网分析工具

  2. 如题，Petri网分析工具，可模拟Petri网的运行

  3. 所属分类：其它

    • 发布日期：2013-01-09
    • 文件大小：1mb
    • 提供者：class281

  1. HPSIM模拟工具

  2. HPSIM可以说是一款入门级的模拟软件了。我用得最多。具有非常直观的操作和非常强大的功能。 支持时间以及混杂网，但是我们用得最多的还是使用它来队最普通的P/T网建模

  3. 所属分类：其它

    • 发布日期：2013-05-07
    • 文件大小：1mb
    • 提供者：u010603113

  1. 基于Petri网的FMS建模与调度研究_黄波

  2. 基于Petri网的FMS建模与调度研究.关于利用Petri网进行建模，对调度系统进行分析模拟。

  3. 所属分类：网络基础

    • 发布日期：2013-05-13
    • 文件大小：4mb
    • 提供者：u010675074

  1. CPNTools Petri网模拟分析工具

  2. 用于模拟Petri网的分析工具,主要应用于分析工作流,安全协议等领域建立和分析petri网模型

  3. 所属分类：其它

    • 发布日期：2008-10-05
    • 文件大小：16mb
    • 提供者：liurenfen_2000

  1. Petri网可达树的构建

  2. 对于Petri网可达树的构建，通过VC++软件实现模拟，实现了可达树的建立，节点的查询等功能。

  3. 所属分类：C++

    • 发布日期：2016-01-15
    • 文件大小：4mb
    • 提供者：sea_mo

  1. petri网模拟工具-spnp使用指南

  2. spnp作为petri网的模拟工具之一，具有很好的模拟仿真能力，此作为它的使用指南，给spnp的初学者一个良好的开端。

  3. 所属分类：其它

    • 发布日期：2020-01-29
    • 文件大小：1mb
    • 提供者：rikliu

  1. 基于系统行为序列的Petri网自动建模方法

  2. 要想用Petri网对系统进行有效的模拟和分析，就必须先建立起可靠准确的Petri网模型，目前很少有文献专门研究Petri网对系统的建模问题。对此，提出了基于系统行为序列的Petri网自动建模方法。该方法将系统所有行为序列组合为正规语言表达式，对于不同的系统，给出标注函数（即变迁和系统行为的映射关系），就可以建立起系统的Petri网模型。给出了电话呼叫业务建立用户Petri网模型的一个实例。该方法形式化强、通用性好，建立的模型标准规范，并且可实现机器自动建模，在目前的系统建模研究方面取得了进展。

  3. 所属分类：其它

    • 发布日期：2020-10-17
    • 文件大小：329kb
    • 提供者：weixin_38676058

  1. EDA/PLD中的一个嵌入式系统的Petri网模型与CPLD实现

  2. 摘要：将Ｐｅｔｒｉ网与ＶＨＤＬ结合，运用Ｐｅｔｒｉ网建立硬件系统模型，然后采用ＶＨＤＬ语言进行设计，最终下载到ＣＰＬＤ，成功地实现了整个硬件系统的逻辑控制器设计。     关键词：Ｐｅｔｒｉ网 Ｃ／Ｅ模型 ＶＨＤＬ ＣＰＬＤ Ｐｅｔｒｉ网是异步并发系统，没有人为的控制流，直观地表示了非确定性；且可以图形化的方式描述复杂的系统，并可运用数学工具进行分析。因此，其在软件系统的建模与仿真中得到广泛应用。Ｐｅｔｒｉ网自身具备的可运行性方便了系统形式化描述级的模拟，可以用于表达不同抽象级上的系统概念

  3. 所属分类：其它

    • 发布日期：2020-12-10
    • 文件大小：165kb
    • 提供者：weixin_38667207

  1. cso:下水道联合溢流（CSO）的模拟-源码

  2. 这是组合污水系统的模拟，其中污水（棕色像素）与地表径流（蓝色像素）结合在一起。 仿真算法是受Petri Purho的GDC演讲。 仿真的核心是用Rust编写的，而Web版本的用户界面是使用Typescr ipt编写的。 本机应用（SDL） 要原生地构建和运行它，您需要设置SDL开发库。 对于Windows，请按照的说明进行操作。 但是，似乎不需要定义LIB环境变量。 然后通过以下方式构建并运行： cargo build -p sdl cargo run -p sdl 网路应用程式 您

  3. 所属分类：其它

    • 发布日期：2021-03-22
    • 文件大小：27kb
    • 提供者：weixin_42160425

  1. 模拟电路故障诊断方法设计及虚拟维修过程

  2. 复杂的电路装置对于装备性能及实用效果起着决定性作用，在整个系统中发挥出重要作用。本文章主要对设备电路系统进行故障诊断的方法进行设计以及对于故障进行虚拟维修的过程。采用支持向量机法进行故障诊断，应用基于Petri网的虚拟维修拆卸过程方法设计。从而最终达到电路故障诊断及虚拟维修的目的。

  3. 所属分类：其它

« 12 »