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

搜索资源列表

  1. 随机PETRI网软件

  2. 建立PETRI网模型，得到仿真结果，便于分析！而且有学习的工具！

  3. 所属分类：嵌入式

    • 发布日期：2009-05-12
    • 文件大小：863232
    • 提供者：yy850921

  1. 基于QoS的网格服务匹配随机Petri网模型.pdf 论文

  2. 基于QoS的网格服务匹配随机Petri网模型.pdf 论文

  3. 所属分类：专业指导

    • 发布日期：2009-07-31
    • 文件大小：296960
    • 提供者：jackeyfu

  1. 与时间相关系统的Petri网模型

  2. 与时间相关系统的Petri网模型，是文档cajviewer可打开。

  3. 所属分类：专业指导

    • 发布日期：2009-12-14
    • 文件大小：130048
    • 提供者：protectionION

  1. Petri网原理与应用

  2. 本书围绕Petri网基本原来介绍Petri网应用和理论两方面的基础知识

  3. 所属分类：专业指导

    • 发布日期：2010-03-17
    • 文件大小：4194304
    • 提供者：liangjuanzhu

  1. Petri网模型分析工具

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

  3. 所属分类：Web开发

    • 发布日期：2010-03-25
    • 文件大小：1048576
    • 提供者：LuciferneoCs

  1. Petri网综合的行为理论 蒋昌俊

  2. 自Petri 先生开创性的工作之后，网论得到了长足进展，至今已形成了相当规模的研究领域。在理论方面，Petri网模型和分析技术的研究取得了许多有价值的成果，Petri网作为一种全新的自动机被开发出来，研究者对此充满了希望，认为Petri网比下推自动机有用，原因是它不存在图灵机所具有的那些可判定问题。在这期间，MIT出现了许多博士论文都是以Petri网为专题的。于是人们也象发现FSM自动机与普通语言之间的关系一样展开了对Petri网语言的研究，研制出了一些复杂的译码方法，并且定义了一些使其证明较

  3. 所属分类：嵌入式

    • 发布日期：2010-05-08
    • 文件大小：1048576
    • 提供者：basaka11

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

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

  3. 所属分类：其它

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

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

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

  3. 所属分类：网络基础

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

  1. CPNTools Petri网模拟分析工具

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

  3. 所属分类：其它

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

  1. 针对嵌入式系统的扩充的Petri网模型

  2. 调研 针对嵌入式系统的扩充的Petri网模型.docx

  3. 所属分类：嵌入式

    • 发布日期：2014-01-09
    • 文件大小：46080
    • 提供者：u012560867

  1. PIPE3 Petri网工具

  2. 是用于建Petri网模型及分析其各种性质的软件，有代码

  3. 所属分类：Java

    • 发布日期：2014-03-25
    • 文件大小：11534336
    • 提供者：sweety2011

  1. 基于Stateflow的Petri网仿真方法

  2. ：Stateflow是matlab环境下与simulink整合在一起的专门用来对复杂响应系统和事件驱动系统进行仿真的工具箱。应用 其对Petri网模型进行仿真，提出了一种对Petrl中资源的分类方法，根据petfi网中资源的流通方式将资源分为循环资源、非 循环资源．及隐性资源。并结合变迁的个数和激活方式给出了从一个已知的Petri网构造其相应的Stateflow的具体规则．及详 细步骤，最后结合某汽车冲压单元的建模进行举例说明。构造过程显示出文中提出的仿真方法具有使用简单、通用性强、扩 展性好

  3. 所属分类：.Net

    • 发布日期：2014-05-14
    • 文件大小：296960
    • 提供者：u013959746

  1. 基于LTL和PETRI 网的模型检测方法

  2. 一种有效的基于LTL和PETRI网的模型检测方法

  3. 所属分类：软件测试

    • 发布日期：2014-08-09
    • 文件大小：575488
    • 提供者：lyqing405

  1. 对UML模型与Petri网模型的转换方法的整合研究

  2. 对UML模型与Petri网模型的转换方法的整合研究

  3. 所属分类：其它

    • 发布日期：2015-11-13
    • 文件大小：7340032
    • 提供者：qq_32165495

  1. 基于结构化的C3I体系结构着色Petri网建模方法

  2. 摘　要:结构化分析是构筑C3I系统体系结构的基本方法,着色Petri网模型对于C3I系统体系结构的功能和性能评价具有重要价值。探讨基于C3I系统体系结构的结构化分析结果建立着色Petri网模型的方法具有重要意义。简要论述了3I系统体系结构的结构化开发方法。提出了一种根据C3I系统功能体系结构的结构化分析模型建立着色Petri网模型的方法,应用实例表明了该方法的可行性和实用性。

  3. 所属分类：C

    • 发布日期：2008-12-11
    • 文件大小：52224
    • 提供者：jwqinan

  1. 基于Petri网模型的泛化度计算方法

  2. 针对现有泛化度算法依赖于概率分布和时间复杂度高的缺点,提出一种基于泛化度自动机的泛化度计算方法。将Petri网中的标识作为泛化度自动机中的状态,并且借鉴过程树算法中结点被访问次数越多越可靠的思想,而不依赖于贝叶斯假设。将完全拟合的事件日志在过程模型上重演,根据标识状态变化情况构建泛化度自动机,并记录状态的被访问次数和状态发生的活动集合。状态的被访问次数与状态发生的活动数之比越高则状态越可靠,下次再访问该状态时引发新活动的可能性越小,泛化度越高。仿真实验将本文所提出的算法与其他经典算法作对比,说明

  3. 所属分类：其它

    • 发布日期：2020-05-13
    • 文件大小：333824
    • 提供者：weixin_38692969

  1. 基于扩展Petri网模型的航空复合材料可重入制造过程调度方法

  2. 基于扩展Petri网模型的航空复合材料可重入制造过程调度方法，叶文华，施晶晶，航空复合材料常用的

  3. 所属分类：其它

    • 发布日期：2020-02-11
    • 文件大小：310272
    • 提供者：weixin_38692707

  1. CA6140车床故障概率诊断Petri网模型研究

  2. 为解决不确定条件下普通车床的故障诊断问题,将概率方法引入传统Petri网中,建立了针对CA6140车床的故障概率诊断模型。运用Petri网的逻辑推理和矩阵运算功能,充分反映"故障征兆到故障部位"转换过程中的可能性。最后用实例证明了该模型的可行性和有效性。

  3. 所属分类：其它

    • 发布日期：2020-06-28
    • 文件大小：407552
    • 提供者：weixin_38584642

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

  2. 将Petri网与VHDL结合,运用Petri网建立硬件系统模型,然后采用VHDL语言进行设计,最终下载到CPLD,成功地实现了整个硬件系统的逻辑控制器设计。

  3. 所属分类：其它

    • 发布日期：2020-10-26
    • 文件大小：101376
    • 提供者：weixin_38687199

  1. 着色Petri网模型检测工具的扩展及其在Web服务组合中的应用

  2. 着色Petri网模型检测工具的扩展及其在Web服务组合中的应用

  3. 所属分类：其它

    • 发布日期：2021-02-24
    • 文件大小：54272
    • 提供者：weixin_38536716
« 12 3 4 5 6 7 8 9 10 »