精华内容
下载资源
问答
  • Petri网建模工具pipe4.3
    Petri网建模工具pipe4.3
  • Pipe3.0petri网画图工具

    2020-10-03 23:05:28
    Pipe的的最新版本,画petri网很好的工具,这样可以了吗 Pipe的的最新版本,画petri网很好的工具,这样可以了吗
  • CPN属于高级Petri网的类别,并将Petri网与功能性编程语言Standard ML(SML)结合在一起。 Petri网提供了用于对并发,通信和同步进行建模的原语,而SML提供了用于对数据操作进行建模以及创建紧凑和参数化模型的原语...
  • 可以建立5种类型的PETRI网。 The software Petri Net Toolbox, dealing with Petri nets under MATLAB, is presented. It can handle five types of Petri nets(untimed, transition-timed, place-timed,stochastic...
  • PIPE 是Platform Independent Petri Net Editor的缩写, 下载到JRE,并设置好PATH后运行PIPE软件包中的pipe.bat(Windows下,Linux下的启动程序是pipe.sh)文件就可以打开操作界面了
  • Ubuntu/Debian 安装指南: 为了解决问题 “导入错误:无法导入名称 _compare_digest” 请安装python 2.7.9: ...$ tar xf Python-2.7.9.tar.xz $ cd Python-2.7.9 $ mkdir ~ /.localpython ...$ workon petri_net
  • Petri 网学习,学习petri网的ppt(超详细)。 学习petri网的ppt,适合初学者。也可以作为一份参考资料 Petri网
  • spnp作为petri网的模拟工具之一,具有很好的模拟仿真能力,此作为它的使用指南,给spnp的初学者一个良好的开端。
  • Petri网建模仿真工具

    2019-01-04 12:21:01
    Petri网建模仿真分析工具,十分方便好用,希望大家多多下载
  • 逻辑Petri网是一种增广Petri网模型,具有与图灵机等价的建模能力。颜色逻辑Petri网解决了逻辑Petri网中输出的不确定性表达问题。然而颜色逻辑Petri网描述不同子系统的并发过程,需要对每一个子系统建立一个子网模型。...
  • 为解决模糊Petri网建模效率低、工作量大、易出错等问题,提出了模糊产生式规则自动生成模糊Petri网的方法,并给出了其映射模型。该方法通过模型映射,结合图元生成与定位实现了模糊Petri网的自动建模。避免了模糊...
  • Petri网导论的扫描版电子书。Petri网是分布式系统的建模和分析工具,它特别便于描述系统中进程或部件的顺序,并发,冲突以及同步等关系。
  • 基于 Petri 和逻辑 Petri ,提出了 S-组合逻辑 Petri 的概念。深入研究了 S-组合逻辑 Petri 的活性继承问题,给出了 S-组合逻辑 Petri 活性的判定定理和算法,并分析了 S-组合中几种资源共享情况。最后...
  • 为将Petri网理论更好地应用于配电网故障诊断中,基于Petri网现有研究,依据配电网运行特点及拓扑结构,提出了基于FTU故障信息的Petri网建模方法。首先,采取依据SCADA系统所汇集的FTU信息以及两层判据的冗余纠错技术...
  • 学习petri网的ppt,适合初学者。也可以作为一份参考资料
  • 针对复杂系统的Petri网建模及其分析问题,定义了Petri 网的精炼操作及其相关的Petri网模型.基于序列投影,建立精炼Petri网与原网、子网间的动态行为关联关系,并分析了该精炼操作的相关动态性质,得到一组性质保持判据....
  • 应用混合Petri网建立故障诊断模型,应用广义随机Petri网建立Boeing777非相似余度飞控计算机故障行为模型。描述了非相似余度系统的结构以及故障的产生和传播的动态过程,分析了该系统的可靠度和容错度,并有效地消除...
  • CPN (Color Petri Net) 即有色的Petri网,它在20世纪60年代首先由著名... Petri网既有严格的数学表述方式,也有直观的图形表达方式,既有丰富的系统描述手段和系统行为分析技术,又为计算机科学提供坚实的概念基础。
  • 将一种基于Petri网的故障树分析法运用于飞机配电系统的可靠性分析,以库所和变迁为节点,有向弧的指示方向表达系统故障的传播关系。同时提出一种应用Petri网的关联矩阵求最小割集的新算法,此算法按照指定关联矩阵中...
  • 逻辑Petri网(LPN)可以描述和分析协作系统中的批处理功能和传递值不确定性,并缓解状态空间爆炸问题。 但是,逻辑输出转换的不确定数据无法在LPN中明确描述。 因此,本文定义了彩色逻辑Petri网(CLPN)。 它可以...
  • 信息的使用者往往关注保存在介质上的信息而忽视处理信息的程序。由于保存在介质上的信息有多个操作入口,即使处理信息的...由于Petri网是描述流程的有力工具,对于复杂的业务流程,引入Petri网对流程进行审计是必要的。
  • 基于算法问责制方面不断增长的文献,本文研究了使用称为 Petri 的过程可视化技术来实现隐私设计的目标。 该方法的优势在于它可以帮助弥合法律和技术领域之间经常存在的知识差距。 系统状态的直观视觉表示以及法律...
  • 针对用于矿井中有煤尘而无爆炸危险的地方、以油浸式为主的变压器,提出了一种基于优化模糊Petri网的矿用变压器故障诊断模型。根据故障征兆与故障之间的关系,利用模糊产生规则来建立故障诊断模型;利用Elman网络算法的...
  • PIPE是构建petri网的强大工具之一,优点在于比cpn tools等其他工具更通俗易懂;该软件必须在JAVA环境下运行,下载解压后双击 launch.bat即可打开
  • 三十年前,德国科学家C.A.Petri先生在其博士学位论文中创立了一种用于并发通信机理描述的新型“自动机”模型,即今天被称之为“Petri网”的并发系统模型。众所周知,传统的自动机模型适于描述顺序行为的状态空间问题...
  • NULL 博文链接:https://rept.iteye.com/blog/676904
  • 文中提出了基于MVC架构的Web型信息管理流程模型,并通过定义的模型五元组来...以井冈山大学科研管理信息系统为例,讨论了Petri网理论在建模中的应用,实验结果表明采用Petri网理论对科研管理信息系统建模是可行且有效的.

空空如也

空空如也

1 2 3 4 5 ... 20
收藏数 5,083
精华内容 2,033
关键字:

petri网

友情链接: dzzkscq_ziku.rar