点数信息
www.dssz.net
注册会员
|
设为首页
|
加入收藏夹
您好,欢迎光临本网站!
[请登录]
!
[注册会员]
!
首页
移动开发
云计算
大数据
数据库
游戏开发
人工智能
网络技术
区块链
操作系统
模糊查询
热门搜索:
源码
Android
整站
插件
识别
p2p
游戏
算法
更多...
在线客服QQ:632832888
当前位置:
资源下载
搜索资源 - petri网分析工具
下载资源分类
移动开发
开发技术
课程资源
网络技术
操作系统
安全技术
数据库
行业
服务器应用
存储
信息化
考试认证
云计算
大数据
跨平台
音视频
游戏开发
人工智能
区块链
在结果中搜索
所属系统
Windows
Linux
FreeBSD
Unix
Dos
PalmOS
WinCE
SymbianOS
MacOS
Android
开发平台
Visual C
Visual.Net
Borland C
CBuilder
Dephi
gcc
VBA
LISP
IDL
VHDL
Matlab
MathCAD
Flash
Xcode
Android STU
LabVIEW
开发语言
C/C++
Pascal
ASM
Java
PHP
Basic/ASP
Perl
Python
VBScript
JavaScript
SQL
FoxBase
SHELL
E语言
OC/Swift
文件类型
源码
程序
CHM
PDF
PPT
WORD
Excel
Access
HTML
Text
资源分类
搜索资源列表
petri软件DaNAMiCS
petri网的制作和分析软件,可以用于仿真,分析等等 是初学petri的一个良好的工具
所属分类:
嵌入式
发布日期:2009-10-06
文件大小:2097152
提供者:
sx00001111
CPN TOOLS帮助文档中文版
CPN TOOLS是个很好的Petri网分析工具,但帮助文档是英文的,对于初学者带来了 不变。偶找到了帮助文档的中文版,上传到这里,供大家下载交流。
所属分类:
专业指导
发布日期:2009-11-08
文件大小:1048576
提供者:
xhbluesky
snoopy -a tool to design and excute graph
介绍snoopy仿真软件的功能和使用。snoopy是一种功能全面的Petri网仿真和分析工具。
所属分类:
嵌入式
发布日期:2010-06-28
文件大小:857088
提供者:
zgy2010
VisualPetri-1.2
一种简单的Petri网建模分析工具,操作简单,功能也比较简单
所属分类:
Java
发布日期:2011-10-21
文件大小:244736
提供者:
blue_reed
CPN Tools安装文件
有色Petri 网(CPN)是描述并发、同步、异步、资源竞争、协调等动态系统行为的有效工具,不仅有充分的模拟能力和丰富的分析方法,还便于使用和理解。同时,CPN是一种语义严格的形式化数学建模工具,可以定性和定量地分析系统的动态性能。CPN具有如下优点:(1)CPN的并行和同步机制适于并行模型的仿真和分析;(2)CPN不仅可以利用库所、变迁和弧的连接表示系统的静态结构,而且通过变迁的触发(transition)和令牌(token)的移动描述系统的动态行为;(3)CPN具有成熟的图形化建模和分析工
所属分类:
C++
发布日期:2011-10-26
文件大小:30408704
提供者:
zss6138
CPN tools分析仿真
CPN tools论文必备 非常好的论文工具
所属分类:
网络监控
发布日期:2011-12-29
文件大小:29360128
提供者:
lht8891316
随机Petri网理论在GSM_R通信系统中的仿真应用
列车和无张闭塞中心在多数情况下处于正常状态,但在实际通信过程中可能出现以下几种引发故障因素:传输数据出错、连接丢失、越区切换、端到端传输延时。应用仿真主要考虑高速列车在移动闭塞区间条件下GSM-R无线通信系统的可靠性,结合随机Petri网络理论对GSM-R铁路无线通信系统故障恢复事件进行建模和分析,给出了随机Petri网表示的列车与无线闭塞中心通信的故障恢复模型,并采用TimeNET仿真工具对GSM-R通信系统的可靠性进行分析得出相应结论。
所属分类:
硬件开发
发布日期:2013-01-10
文件大小:1048576
提供者:
zhcd816
CPNTools 软件
CPN Tools 是集 编辑、设计与仿真以及分析 于一身的有色Petri Net(CPN)工具,即Colored Petri nets。 此4.0.1是当前最新版,有着很好的GUI,易于使用。 CPN Tools不仅支持基础着色Petri网建立模型,也支持带有时间和分层的着色petri网建立模型。CPN Tools支持CPN ML编程语言,颜色集,时间,层次化建模等。同时,CPN Tools提供丰富的模型分析工具,如监视器,状态空间分析等,增强了它的模型分析能力和模型验证(MC)的能力。
所属分类:
其它
发布日期:2015-06-05
文件大小:15728640
提供者:
haifeng_gu
Petri网建模仿真工具
Petri网建模仿真分析工具,十分方便好用,希望大家多多下载
所属分类:
其它
发布日期:2019-01-04
文件大小:2097152
提供者:
weixin_44393703
cpntools_V4.0.1建模工具.zip
软件介绍: 新版本的CPNtools建模工具,这是一款集编辑、设计与仿真以及分析于一体的有色Petri Net(CPN)工具,支持基础着色Petri网建立模型,以及带有时间和分层的着色petri网建立模型,软件提供了丰富的模型分析功能,具备强大的模型分析能力和模型验证能力。
所属分类:
其它
发布日期:2019-09-02
文件大小:15728640
提供者:
weixin_38744270
EDA/PLD中的自控网系统的仿真分析与硬件实现的研究
[摘 要] 自控网系统是Petri网的一个子类,与P/T系统相比,有更强的描述能力和更复杂的性质。由于它的非线性关系,无法直接套用其它网系统的分析技术,影响了对它的研究。文章提出了用硬件描述语言对自控网系统进行描述,通过EDA工具进行仿真分析,揭示系统的性质。文章针对计算Fibonacci数列的自控网系统模型,详细介绍了这一方法,给出了ABEL语言源代码和仿真波形,源代码经编译、优化、适配并下载到在系统可编程逻辑器件中,得到了计算Fibonacci数列的专用芯片,这为自控网系统的分析和应用研究
所属分类:
其它
发布日期:2020-12-01
文件大小:147456
提供者:
weixin_38697557
PETRI-+OWL-S.doc
语义Web 服务的研究目的是使得用户软件主体能够理解服务,并对其进行自动处理。但现有的研究是基于静态语义描述的,不能解决动态语义描述的各种问题,尤其是服务的并发执行。Petri网作为系统描述与分析的工具,具有并发性的特点,已经广泛应用于各个领域。语义Web服务可以通过OWL-S服务来描述,它的动态描述要求能够准确刻画服务的功能及具体工作方式,即服务的操作语义;如果可以利用Petri 网对OWL-S 服务进程(特别是复合进程)的操作语义进行描述,就可以解决服务的并发性的问题,对动态服务的自动发现、
所属分类:
Web开发
发布日期:2009-03-02
文件大小:876544
提供者:
zfg191009
基于排队Petri网的服务系统性能建模与分析方法
如何有效评估服务系统的性能表现是解决服务对动态网络环境适配性的关键.然而,基于互联网的服务 系统的规模尺度和复杂程度不断提高,使得服务系统的性能建模和分析越来越困难.通过分析服务系统的执行过 程,提出了一种基于排队Petri网的性能建模和分析方法.该方法将服务系统运行过程分为服务准备和服务提供两 个阶段.服务准备阶段被建模为多层Web系统,刻画了浏览、选择、组合和注册4种行为的性能表现.服务提供阶段 被建模为组合服务,重点讨论了交互关系、节点失效和恢复机制对组合服务执行性能的影响,并在此基础上建
所属分类:
其它
发布日期:2021-02-21
文件大小:1048576
提供者:
weixin_38683848
Petrinets:可视化和分析Petrinets的应用程序-源码
Petrinet申请 用Java编程语言开发的应用程序是一种工具,通过它可以显示给定的Petri网,并且可以将用于计算某些特征的算法应用于该工具。 该程序提供了从PNML-Files加载Petri网,相应地拾取数据结构并使它们在图形用户界面中可用的可能性。 加载的Petri网可由用户根据用户界面进行编辑。 同样,可以动态切换转换,以检查网络的动态。 Petri网的核心属性(有界性)可以通过图形方式进行,也可以作为大量网的文本批处理来执行。 该程序基于库,该库用于显示Petri网及其关联的(部分
所属分类:
其它
发布日期:2021-02-20
文件大小:822272
提供者:
weixin_42131316
基于CPN状态空间分析的复杂系统脆性度量
为进一步解决复杂系统脆性理论既有研究工具存在的系统状态定量描述困难、系统边界条件约束较多 等问题,将有色 Petri 网及其仿真工具 CPN Tools 引入到复杂系统脆性度量研究中。有色 Petri 网及 CPN Tools 内 置的查询工具、既有的高级状态空间计算方法都降低了复杂系统脆性度量中的问题复杂度。提出基于状态空间 分析的复杂系统脆性度量指标并给出编程实现流程。仿真算例表明状态空间内状态节点的脆性传递过程及其 影响范围能够间接反映系统脆性行为。
所属分类:
其它
发布日期:2021-02-07
文件大小:1048576
提供者:
weixin_38625708
具有优先级消息的FC-AE-1553建模仿真分析
以确定随机Petri网为工具,对具有优先级消息的FC-AE-1553网络进行建模仿真,根据仿真计算出在事件消息间有优先级和没有优先级两种情况下消息的传输延时,通过对两种情况下的仿真结果进行对比分析,对理解具有优先级的事件消息在FC-AE-1553网络中的传输机制以及体会优先级对紧急消息处理的重要性提供了重要的理论依据。
所属分类:
其它
发布日期:2021-01-29
文件大小:1048576
提供者:
weixin_38635682
自控网系统的仿真分析与硬件实现的研究
[摘 要] 自控网系统是Petri网的一个子类,与P/T系统相比,有更强的描述能力和更复杂的性质。由于它的非线性关系,无法直接套用其它网系统的分析技术,影响了对它的研究。文章提出了用硬件描述语言对自控网系统进行描述,通过EDA工具进行仿真分析,揭示系统的性质。文章针对计算Fibonacci数列的自控网系统模型,详细介绍了这一方法,给出了ABEL语言源代码和仿真波形,源代码经编译、优化、适配并到在系统可编程逻辑器件中,得到了计算Fibonacci数列的专用芯片,这为自控网系统的分析和应用研究开辟
所属分类:
其它
发布日期:2021-01-19
文件大小:111616
提供者:
weixin_38628552
模糊推理Petri网及其在产品拆卸序列决策中的应用
为了在产品拆卸序列决策时,简化拆卸路径的分析难度,提出一种以模糊推理Petri网为工具的产品拆卸序列决策模型.采用将模糊推理Petri网与矩阵运算相结合的形式化推理算法,对所提出的决策算法进行了论述.实例应用结果表明,此模型在产品拆卸过程规划中具有很强的并行处理能力,可以根据产品在拆卸过程中零部件的最新信息对每一步操作作出适时的智能化决策,从而实现将产品中若干零件作为子装配体进行拆卸的自动聚类识别,减少了产品拆卸的复杂性.
所属分类:
其它
发布日期:2021-01-15
文件大小:227328
提供者:
weixin_38625464
基于高级Petri网的仿真剧情正规校核方法
针对仿真剧情主观校核不理想这一问题,提出了基于高级Petri网的仿真剧情正规校核方法.首先给出仿真剧情的形式化定义, 并分析仿真剧情可能存在的错误类型;其次给出仿真剧情到高级Petri网的映射途径, 并给出基于高级Petri网的仿真剧情校核准则和算法,此外,还给出实现仿真剧情动态校核的推理规则和机制;最后给出了一个正规校核工具框架&实际应用已经证明了该方法的有效性.
所属分类:
其它
发布日期:2021-01-15
文件大小:684032
提供者:
weixin_38692184
基于有色Petri 网的时钟同步协议安全性分析
随着工业以太网的发展, 作为其实时性保障核心技术的时钟同步协议的安全性变得至关重要. 针对时钟同步协议的安全性问题, 首先提出一种基于有色Petri 网的时钟同步协议安全性分析方法; 然后通过建立协议的有色Petri 网模型, 利用状态方程等工具针对不安全状态的可达性进行判断分析, 从而实现时钟同步协议的安全性分析; 最后具体分析了一种基于精密时钟同步协议(PTP) 的时钟同步协议以及针对该协议的主时钟欺骗攻击, 验证了所提出方法的有效性.
所属分类:
其它
发布日期:2021-01-14
文件大小:249856
提供者:
weixin_38606811
«
1
2
3
4
»