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

搜索资源列表

  1. 一种嵌入式系统扩展流关系Petri网及应用

  2. 为了将数据流和控制流在同一个模型中明确标识，将经典Petri嗣的4元组结构扩展为7元组，定义一 种新的嵌A式系统扩展流关系Petri同表示方法，应用该表示法对火车控制系统进行建模，并将该模转换成等 价的时间自动机模型．用UPPAAL进行形式化验证。验证结果表明火车控制系统具有可达性和安全性，说明 建立的模型是台理有效的。

  3. 所属分类：硬件开发

    • 发布日期：2009-09-03
    • 文件大小：168960
    • 提供者：lbaihao

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

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

  3. 所属分类：专业指导

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

  1. Petri网学习资料

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

  3. 所属分类：制造

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

  1. Petri网建模工具PIPE

  2. Petri网建模工具---用于时间Petri网的建模、分析、仿真、验证等，是一款不错的仿真工具

  3. 所属分类：其它

    • 发布日期：2012-01-29
    • 文件大小：1048576
    • 提供者：springtree100

  1. petri网软件tina3.0.0

  2. 很好的一款petri网仿软件真pipe不能直接做时间petri网，

  3. 所属分类：.Net

    • 发布日期：2012-04-22
    • 文件大小：7340032
    • 提供者：lixiaonan_88

  1. Tina Petri网建模工具

  2. Tina是一款对时间Petri网支持得比较好的软件，也是用得较多的一款软件。它的运行程序是解压后/bin目录下的nd.exe文件(NetDraw)，适用于Windows和Linux操作系统，也就是说他的移植性很好。

  3. 所属分类：其它

    • 发布日期：2012-07-30
    • 文件大小：7340032
    • 提供者：preytiger

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

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

  3. 所属分类：网络基础

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

  1. Petri网分析工具JFern（基于Java开发）

  2. 能够对面向对象Petri网、高级Petri网及带时间的Petri网进行分析，简单实现。

  3. 所属分类：Web开发

    • 发布日期：2013-08-19
    • 文件大小：4194304
    • 提供者：cdvtczhgf

  1. 时间Petri网仿真工具

  2. 时间Petri网的仿真工具，自己用着感觉对于初学者已经够用

  3. 所属分类：C/C++

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

  1. 时间petri网 tina仿真软件

  2. 很强大的时间petri网仿真软件，可设置时间戳，时间延迟的仿真很到位。画图很人性化，界面的美观程度仅次于CPN，但是易上手，适合初学者使用

  3. 所属分类：管理软件

    • 发布日期：2015-01-20
    • 文件大小：7340032
    • 提供者：htchenn

  1. tina 时间petri网的仿真软件

  2. 能够很好地对时间petri网进行仿真和建模工作，希望能帮助大家

  3. 所属分类：其它

    • 发布日期：2015-05-15
    • 文件大小：7340032
    • 提供者：binghanzhijia

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

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

  3. 所属分类：其它

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

  1. 基于Petri网的工作流模型的研究与仿真

  2. 对于复杂的基于Petri网的工作流模型进行合理性分析是非常重要的,依据四种基本模型对复杂的工作流模型进行等价分层简化,根据串联、并联和选择模型的等价服务时间计算方法对简化模型进行计算,建立模型仿真,从理论计算和仿真实现上分析其合理性。

  3. 所属分类：其它

    • 发布日期：2020-06-23
    • 文件大小：824320
    • 提供者：weixin_38645198

  1. 基于Petri网多核映射任务分析及在torus架构中的应用

  2. 多核任务映射是高性能计算领域的研究热点。基于torus互连的多核架构,本文提出了行资源映射和行优化资源映射两种算法,行资源映射算法首先以torus的最左边位置作为起点映射,然后按入度值从大到小的次序依次映射其后继,每映射完一个后继就映射其相应的前驱,以此类推,映射完所有的节点。行优化资源映射首先把出度最大的点放在torus最左边位置,把入度最大的点放在torus同一行最右边位置,然后映射出度最大的点的其他后继和入度最大的点其他前驱,以此类推,映射完所有的节点。利用时延petri网软件工具包对两种

  3. 所属分类：其它

    • 发布日期：2020-06-23
    • 文件大小：439296
    • 提供者：weixin_38716423

  1. 具有抑制弧的结构化Petri网最小初始标记问题的算法

  2. 抑制弧提高了陪替氏网的表达能力。 然而，它们也引起Petri网分析的复杂性问题。 普通Petri网的某些属性在其扩展版本中并不总是带有禁止弧。 本文报道了确定原始Petri网及其扩展的带有抑制弧的结构中的带电特性的必要和充分条件。 另外，假设网在结构上是活动的，那么自然的问题是如何将最少数量的令牌分配到结构上的活动网中，以确保标记的网是活动的。 开发了一种通过仅在某些关键位置放置令牌来找到最佳令牌分配解决方案的方法。 该算法可以在多项式时间内完成，从而克服了所有可能标记产生的详尽解决方案的缺点。

  3. 所属分类：其它

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

  1. 基于时间序列Petri网的电力系统故障诊断方法

  2. 基于时间序列Petri网的电力系统故障诊断方法

  3. 所属分类：其它

    • 发布日期：2021-03-05
    • 文件大小：786432
    • 提供者：weixin_38592420

  1. CORBA工作流时间Petri网建模与分析

  2. CORBA工作流时间Petri网建模与分析

  3. 所属分类：其它

    • 发布日期：2021-02-22
    • 文件大小：430080
    • 提供者：weixin_38715831

  1. 基于时间贝叶斯Petri网的溯因故障诊断

  2. 针对复杂系统发生故障时告警信号间的时序约束关系,提出一种时间贝叶斯Petri网模型(TBPN),并基于该模型提出一种复杂系统的溯因故障诊断方法。该方法首先对观测到的告警信息建立时间Petri网,随后将其求逆并转换为TBPN。通过时间区间计算和溯因推理,分析告警信号的时序一致性并验证故障假说,最后对时序正确的故障事件链计算其故障概率并进一步分析干扰信息。仿真实验表明,该方法可对复杂故障进行快速诊断,并在告警信息存在丢失、虚警、时标差错时表现出较好的鲁棒性。与不考虑时间约束的同类方法相比,该方法具有

  3. 所属分类：其它

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

  1. 基于价格时延Petri网的超级节点网格调度

  2. 针对资源节点基于语义相似度聚类的超级节点模式网格，提出了一种面向用户截止时间、费用上限及二者之间偏好参数等QoS参数约束的网格协作型任务调度算法，其中考虑资源的动态性，引入重调度机制。然后，采用价格时延Petri网这一图形与数学工具，对复杂的调度过程进行形式化、层次化建模，增进对调度系统的理解。构建调度模型的可达任务图，分析调度系统的诸如调度时间、费用、吞吐量、负载平衡等重要性能。实例验证调度算法的有效性，分析了需要协调多种类型资源的网格协作型任务的调度过程及调度系统的若干重要特性。研究内容对于

  3. 所属分类：其它

    • 发布日期：2021-01-21
    • 文件大小：852992
    • 提供者：weixin_38543120

  1. 基于价格时延Petri网的超级节点网格调度

  2. 针对资源节点基于语义相似度聚类的超级节点模式网格，提出了一种面向用户截止时间、费用上限及二者之间偏好参数等QoS参数约束的网格协作型任务调度算法，其中考虑资源的动态性，引入重调度机制。然后，采用价格时延Petri网这一图形与数学工具，对复杂的调度过程进行形式化、层次化建模，增进对调度系统的理解。构建调度模型的可达任务图，分析调度系统的诸如调度时间、费用、吞吐量、负载平衡等重要性能。实例验证调度算法的有效性，分析了需要协调多种类型资源的网格协作型任务的调度过程及调度系统的若干重要特性。研究内容对于

  3. 所属分类：其它

    • 发布日期：2021-01-19
    • 文件大小：2097152
    • 提供者：weixin_38682054
« 12 3 »