TINA(TIme petri 网络分析工具)

大小:9.07M 类别:
  • 网络辅助

官方安全无插件纠错

  • 更新时间2023-12-04
  • 版本v3.4.4
  • 系统Pc
  • 语言简体中文
TINA电脑版是一款来自国外的功能强大的TIme petri 网络分析工具。全称为:TIme petri Net Analyzer,该软件主要作用是用于Petri网的编辑和分析。该软件支持包括抑制和读取弧。TIme Petri网,可能优先级和秒表,以及Time Petri网的数据处理扩展,称为时间转换系统。该软件已经在 OLC,然后是Verics,LAAS / CNRS的研究组中开发。TINA电脑版作为运行在WINDOWS系统上的petri网仿真软件,需要JAVA支持。TIAN用于Petri网,时间Petri网和自动机的编辑器和GUI,可达性图的构建,可达性图的构造和检查,网的结构分析,路径分析,州/事件LTL模型检查器,模态mu-calculus模型检查器,步进模拟器,路径查找器,时间Petri网的转换工具,Kripke转换系统的转换工具,Fiacre到tina tts编译器。TINA电脑版界面简洁干净,操作也很便捷。有需要的用户可以下载体验!
TINA(TIme petri 网络分析工具)下载

INA(TIme petri 网络分析工具)特色

1、nd(NetDraw):用于Petri网,时间Petri网和自动机的编辑器和GUI
处理图形或文字描述的网或自动机。与以下分析工具连接。包括用于网和自动机的绘图设备和用于网的步进模拟器。
2、tina:可达性图的构建
以文字或图形形式描述的网络产生转换系统,以人类可读形式或以可用模型检查器和等效检查器的各种格式抽取其行为。取决于保留的选项,它构建:
卡尔普和米勒技术的Petri网的可维度图。
有界Petri网的标记图。
通过[6] [7]的覆盖步骤方法,持久集的方法或它们的几种组合在[8]中解释的Petri网的部分标记图。
遵循[1] [2] [3] [5]中讨论的技术,对时间Petri网(状态类图)进行各种状态空间抽象。根据选择的选项,该结构保留时间Petri网的具体状态空间的标记,状态,LTL属性或CTL *属性。
3、sift:可达性图的构造和检查
Sift是tina的一个专门版本,支持可达性属性的动态验证。如果提供的选项比蒂娜少,但速度通常更快,并且需要的空间更少。
4、struct:网的结构分析
计算半流的发电机组或在Petri网的位置和/或转换处的流量。也决定了不变性和一致性。

软件亮点

1、plan:路径分析
计算一些给定的发射序列上的全部或单个定时发射序列(时间表)。也可以计算最快和最慢的路径。
2、selt:州/事件LTL模型检查器
以批处理或交互模式运行。模型根据S / E LTL公式检查由上面的该软件或筛选工具构建的kripke转换系统。接受丰富的语言,允许显着地声明新的操作符或重新定义现有的操作符(以便实际上可以不加改变地加载可用的库)。生成的计数器示例可以以可加载到nd模拟器的格式保存,以便重放。为了将公式转换成Buchi自动机,selt依赖于ltl2ba。
3、muse:模态mu-calculus模型检查器
(进行中)以批处理或交互模式进行操作。模型检查通过上面的该软件或筛选工具构建的kripke转换系统与模态mu-演算公式。接受丰富的语言,明显地宣布新运营商或重新定义现有运营商。缪斯计算一系列服从一些公式的国家。然后可以使用pathto和plan工具计算某个状态的路径,并使用工具播放或nd步进器在模型上重播该路径。
4、play:步进模拟器。
允许以交互方式进行模拟,并以该软件接受的所有格式逐步进行网络描述。它的功能与nd步进器的功能相似,除了速度更快并且可以模拟时间转换系统。

软件优势

1、pathto:路径查找器
计算kripke转换系统中某些状态路径的实用工具。
2、ndrio:时间Petri网的转换工具
在其式.net,.ndr,.tpn和.pnml交换格式之间进行转换。
3、ktzio:Kripke转换系统的转换工具
将Tina .ktz格式转换为CADP格式.aut,.bcg和MEC4格式.mec。
4、frac:Fiacre到tina tts编译器
Fiacre是用于实时系统的高级描述语言; 压裂将Fiacre描述编译成大多数该软件工具接受的时间转换系统(tts)。由于它的移动速度与蒂娜不同,因此压裂不会与工具箱一起分发,而是通过专用的Fiacre站点提供。

展开内容

类似软件

网友评论

0人参与,0条评论
  • 评论需审核后才能显示

同类排行

  • okshare局域网共享一键修复

    9.0/3K

    一键修复局域网共享问题

    查看
  • EasyConnect电脑版

    7.6/25.97M

    EasyConnect电脑版是一款功能强大的网络工具,无需复杂的操作和配置,只需要下载安装然后打开即可完成连接。通过它用户可以在办公室之外使用公司内网的所有系统及应用,在公司部署深信服远程应用发布解决方案后,公司所有业务系统及应用都可以轻松迁移至移动互联网上。

    查看
  • adobe flash player 10中文版

    9.3/2.1M

    小编今天新买了一台电脑非常高兴,可是用了一段时间后,打开网页看视频的时候总是提示安装flash player10控件。后来才知道这时一款浏览器插件,因为现在的很多的网页都开始用flash来让网站显得更精美,如果你没有安装这款插件的话是没有办法正常查看网页的,网页上的游戏也是

    查看
  • 爱快路由系统

    9.0/18.25M

    路由器管理软件。

    查看
  • ChrisPC DNS Switch pro(DNS修改切换工具)

    9.1/5.04M

    ChrisPC DNS Switch Pro是一款用于变更电脑DNS记录与DNS修改切换工具,如果你的DNS异常需要修改新的地址的话,你可以直接在软件连接到你的网卡,设置首选的DNS地址,设置备用的DNS地址,以后需要修改的时候直接在软件选择备用地址修改。

    查看
  • Acrylic WiFi professional(网络检测分析工具)官方版

    9.0/8.4M

    Acrylic WiFi professional是一款专门针对网络管理人员制作无线网络监控分析工具,无线WiFi的覆盖率越来越广,使用无线WiFi的朋友也越来越多,每个办公区也大都覆盖了无线WiFi,在管理方面也就存在一些问题,今天我们就给各位推荐一款功能非常不错的网络监测分析

    查看
  • SysNucleus WebHarvy

    9.1/130.42M

    专业的网页数据抓取工具。

    查看
  • 草料二维码生成器桌面版

    9.1/238K

    草料二维码生成器是一款你自己就可以随意制作二维码的一款软件,草料二维码是国内专业的二维码服务提供商,提供二维码生成,美化,印制,管理,统计等服务,帮助企业通过二维码展示信息并采集线下数据,提升营销和管理效率。

    查看
  • SoftPerfect bandwidth manager官方版(宽带管理软件)

    9.1/9.12M

    SoftPerfect bandwidth manager官方版是一款功能强大、可以帮助用户轻松在Windows系统上完成带宽限制以及流量控制的工作全功能流量管理工具软件。

    查看
  • 极品飞车序列号生成器绿色版

    9.5/12K

    你是否对速度与激情的追求无与伦比?是否对极品飞车系列游戏情有独钟?今天,我们将为你带来一个激动人心的消息!立即揭开极品飞车6的神秘面纱,让你尽情体验高速飙车带来的刺激与快感!

    查看
  • GSBrowser数据管家

    9.1/71.11M

    管理浏览器数据和缓存信息

    查看
  • 费尔网络监护专家官方版

    9.1/6.04M

    家长不在家,孩子上网碰到垃圾网站,看到不良信息怎么办?不在实验室,办公区,电脑没做好安全防护,重要信息被人看到怎么办?生活中处处都是不良信息,重要信息被泄露等各种问题,让人头痛欲绝!

    查看
  • Ultra Adware Killer(超级广告软件杀手)

    9.1/15.2M

    Ultra Adware Killer官方版是一款功能强大的Windows广告软件和恶意软件清除程序,能够扫描系统中的所有用户,这可以节省您登录其他用户帐户并再次执行扫描的大量时间。

    查看
  • 千月路由汇总助手官方版

    9.1/2.05M

    千月路由汇总助手是一款专业的专门进行路由汇总工具,这款软件是一款非常实用并且特别好用的网络工程师必备软件,这款软件是一款款完美诠释功能强大路由汇总的工具,可以通过简单有效的方法帮助网络工程师在处理复杂路由问题,节省大量时间,运用引导化的思想,但每一个步骤也可以单独使用,支持路由排

    查看
  • Ad Muncher中文版(广告过滤软件)

    9.1/1.06M

    Ad Muncher中文版是一款十分实用的广告过滤软件,它支持目前所有主流的浏览器及衍生浏览器,甚至一些兼容的联网工具,并且在功能上,它不仅可以过滤广告,弹窗屏蔽、躲避跟踪、UA修改,而且还支持右键禁止破解、反盗链破解等等功能!

    查看