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

搜索资源列表

  1. petri网在系统生物学上的应用

  2. petri网在系统生物学上的应用，在代谢流中的分析。非常好的文章

  3. 所属分类：其它

    • 发布日期：2011-05-11
    • 文件大小：268288
    • 提供者：nandong1

  1. petri网编辑与分析工具

  2. 一个Petri网画图、分析的工具。用于制造系统的建模，简单，方便易学的软件

  3. 所属分类：物流

    • 发布日期：2011-05-13
    • 文件大小：11534336
    • 提供者：liu_zefeng

  1. petri 课件 ppt 第二章 建模实例介绍

  2. 一个有限自动机的例子。假设一个自动贩卖机器可接受五分或者一角面值的钱币，卖15￠或20￠的单独包装的块状糖。假设这个贩卖机可以接受20￠，那么这个机器的状态图就可以由下图所示的Petri网来表示。五个状态用五个库所来表示，上面分别标注了0￠，5￠，10￠，15￠和20￠。

  3. 所属分类：专业指导

    • 发布日期：2011-05-14
    • 文件大小：129024
    • 提供者：liu_zefeng

  1. petri网原理与应用

  2. petri网是一种适合于描述异步并发现象的系统模型，它既有严格的数字定义，又有直观的图形表示，既有丰富的技术描述手段和系统行为分析技术，有为计算机科学提供坚实的概念基础。

  3. 所属分类：.Net

    • 发布日期：2011-06-14
    • 文件大小：7340032
    • 提供者：zjsuper111

  1. 基于CTL和Petri网的约束一致性验证方法研究

  2. 论文摘要通过分支时序逻辑(CTL) 公式表示系统约束, 利用Petri 网的可达性分析技术来验证约束一致性是一种重要的、 切实可行的约束一致性验证方法。文章描述了一种由CTL 公式向Petri 网映射的算法, 将表示系统约束和组件约束的 CTL 公式分别映射为Petir 网, 然后利用Petri 网的组合、可达性分析等技术从语义上来验证系统约束与组件约束的一致 性。最后, 通过对算法的实现开发了一个工具包, 并通过一个实例验证了算法正确性和约束一致性验证方法的可行性。

  3. 所属分类：其它

    • 发布日期：2011-06-16
    • 文件大小：446464
    • 提供者：flyac

  1. Petri网原理与应用

  2. Petri网原理与应用Petri网原理与应用Petri网原理与应用Petri网原理与应用

  3. 所属分类：其它

    • 发布日期：2011-06-18
    • 文件大小：7340032
    • 提供者：ronmy

  1. petri 网原理与应用课件

  2. 简单介绍petri 网，只是入门级的。petri 网和petri 网系统

  3. 所属分类：专业指导

    • 发布日期：2011-06-18
    • 文件大小：2097152
    • 提供者：ttxs53719

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

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

  3. 所属分类：专业指导

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

  1. petri网编辑工具pipe

  2. petri网编辑实用工具pipe,可以做基本petri网的建模、仿真

  3. 所属分类：管理软件

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

  1. PIPE v2.5: A Petri Net Tool for Performance Modelling [PDF]

  2. 关于Petri网建模工具PIPE的经典文献,极具参考价值.

  3. 所属分类：系统集成

    • 发布日期：2011-07-25
    • 文件大小：334848
    • 提供者：eieser

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

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

  3. 所属分类：其它

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

  1. Petri网原理与应用

  2. Petri网是一种适合于描述异步并发现象的系统模型，它既有严格的数学定义，又有直观的图形表示，既有丰富的系统描述手段和系统行为分析技术，又为计算机科学提供坚实的概念基础。 本书是对《Petri网原理》一书的修订，增加了大量的Petri网应用的内容。电梯控制系统是一个完整的应用实例，充分展示了Petri网描述异步并发特征的作用。Petri网与计算机程序系统的差异阻碍了Petri网在计算机科学中的应用。针对这一差异引入的变量类状态元素和相应的变迁规则，使扩充后的Petri网成为系统规范和程序系统语

  3. 所属分类：IT管理

    • 发布日期：2011-08-09
    • 文件大小：3145728
    • 提供者：xihaxiaotiancai

  1. petri网资料

  2. petri网学习资料 petri网学习资料 petri网学习资料

  3. 所属分类：专业指导

    • 发布日期：2011-09-16
    • 文件大小：1048576
    • 提供者：rebeing

  1. spnp分析软件工具，用于随机Petri网的分析

  2. 随机Petri网软件包（SPNP）是由美国Duke大学的Trivedi教授所领导的研究小组研究和开发的。经过多年的运行和修正，SPNP已经是一个较成熟的随机Petri网软件。它是非商业软件。 SPNP的使用界面是C语言形式的SPN描述语言，它是C语言的一个扩充，附加了SPN模型的描述性能参数测试函数。SPN所描述的SPN模型，实际上是随机回报网模型。它的测试性能参数包括两类：稳态期望值和瞬态分析值。SPN可以运行在广泛平台的UNIX系统和VMS系统（VAX）之下。 希望该软件对广大朋友有帮助，

  3. 所属分类：专业指导

    • 发布日期：2011-09-27
    • 文件大小：25165824
    • 提供者：ccnuwy09

  1. UML图的Petri网建模

  2. 关于uml转换为petri，很丰富的介绍

  3. 所属分类：专业指导

    • 发布日期：2011-09-28
    • 文件大小：3145728
    • 提供者：abigbigman

  1. Petri net toolbox

  2. 这个软件在MATLAB平台下处理petri net 建模与仿真，系统性能分析等。

  3. 所属分类：Java

    • 发布日期：2011-10-13
    • 文件大小：4194304
    • 提供者：stefjay

  1. Petri网原理与应用

  2. A Petri net (also known as a place/transition net or P/T net) is one of several mathematical modeling languages for the descr iption of distributed systems. A Petri net is a directed bipartite graph, in which the nodes represent transitions (i.e. ev

  3. 所属分类：软件测试

    • 发布日期：2011-10-14
    • 文件大小：7340032
    • 提供者：simple_star

  1. 基于着色Petri网的知识流建模与分析

  2. 介绍着色petri的建模方法的文档，对于新手了解着色petri有很大的帮助，让我们可以大致了解构建过程

  3. 所属分类：专业指导

    • 发布日期：2011-10-31
    • 文件大小：1048576
    • 提供者：openkays

  1. petri网画图分析工具，开源

  2. petri网画图分析工具，开放源代码，支持随机、着色、对象petri网

  3. 所属分类：Java

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

  1. PIPE petri-net分析工具

  2. 一款免费的petri-net画图和分析工具,具有使用便捷特点

  3. 所属分类：其它

    • 发布日期：2011-11-13
    • 文件大小：25165824
    • 提供者：jqqq_2011
« 1 2 3 4 56 7 8 9 10 ... 38 »