详情介绍
TINA是来自国外的一款功能强大的TIme petri 网络分析工具,全称为:TIme petri Net Analyzer,其主要作用是用于Petri网的编辑和分析,支持包括抑制和读取弧,TIme Petri网,可能的优先级和秒表,以及Time Petri网的数据处理扩展,称为时间转换系统。TINA已经在 OLC,然后是Verics,LAAS / CNRS的研究组中开发。TINA作为运行在WINDOWS系统上的petri网仿真软件,需要JAVA支持,有需求的用户请下载使用!
TINA工具箱包含以下工具:
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网的位置和/或转换处的流量。也决定了不变性和一致性。
5、plan:路径分析。
计算一些给定的发射序列上的全部或单个定时发射序列(时间表)。也可以计算最快和最慢的路径。
6、selt:州/事件LTL模型检查器。
以批处理或交互模式运行。模型根据S / E LTL公式检查由上面的tina或筛选工具构建的kripke转换系统。接受丰富的语言,允许显着地声明新的操作符或重新定义现有的操作符(以便实际上可以不加改变地加载可用的库)。生成的计数器示例可以以可加载到nd模拟器的格式保存,以便重放。为了将公式转换成Buchi自动机,selt依赖于ltl2ba。
7、muse:模态mu-calculus模型检查器。
(进行中)以批处理或交互模式进行操作。模型检查通过上面的tina或筛选工具构建的kripke转换系统与模态mu-演算公式。接受丰富的语言,明显地宣布新运营商或重新定义现有运营商。缪斯计算一系列服从一些公式的国家。然后可以使用pathto和plan工具计算某个状态的路径,并使用工具播放或nd步进器在模型上重播该路径。
8、play:步进模拟器。
允许以交互方式进行模拟,并以tina接受的所有格式逐步进行网络描述。它的功能与nd步进器的功能相似,除了速度更快并且可以模拟时间转换系统。
9、pathto:路径查找器。
计算kripke转换系统中某些状态路径的实用工具。
10、ndrio:时间Petri网的转换工具。
在Tina格式.net,.ndr,.tpn和.pnml交换格式之间进行转换。
11、ktzio:Kripke转换系统的转换工具。
将Tina .ktz格式转换为CADP格式.aut,.bcg和MEC4格式.mec。
12、frac:Fiacre到tina tts编译器。
Fiacre是用于实时系统的高级描述语言; 压裂将Fiacre描述编译成大多数TINA工具接受的时间转换系统(tts)。由于它的移动速度与蒂娜不同,因此压裂不会与工具箱一起分发,而是通过专用的Fiacre站点提供。
更新日志
TINA 3.4.4更新:
1、现在通过筛选和播放来处理异常,而不是通过tts库处理,并提供更多有用的错误消息。
下载地址
人气软件
相关文章
- excel中如何给表格添加背景? 给Excel表格加背景图的教程
excel表格想要插入背景图片,哦们直接的点击打开方式下的页面布局,然后找到背景选项来进行操作就可以了,详细请看下文介绍...
- word页码10以上显示1怎么办? word页码十几显示1的解决办法
在使用word文档时发现,设定好的页码9后面本应是10,却变成了1,下面我们就来解决word页码到10页为啥回到1了的解决办法...
- 谷歌浏览器点击书签怎么打开新标签页? chrome新标签页打开设置技巧
谷歌浏览器每次点击标签打开的都是上次浏览器的页面,想要打开新的标签页,该怎么设置呢?下面我们就来看看详细的教程...
- 火狐浏览器下载文件没反应怎么办? Firefox下载文件失败的解决办法
火狐浏览器下载文件的时候有时候会提示我们下载失败,那么这要怎么办?用户们可以点击设置选项下的隐私与安全选项通过设置解决这个问题...
- WPS如何将大标题都改成章节标题 WPS将所有大标题都改成章节标题的方法
WPS如何将大标题都改成章节标题?我们需要将已经设置的大标题内容进行选中,之后就可以进入到自定义章节标题的窗口中进行选择自己需要的一个章节标题类型进行添加了...
- WPS表格内容如何进行笔画排序 WPS表格内容进行笔画排序的方法
WPS表格内容如何进行笔画排序?我们可以进入到排序的窗口中,可以设置主要关键词或者是次要关键词进行拼音、数字、日期以及笔画等排序,并且可以选择升序或降序排序...
下载声明
☉ 解压密码:www.jb51.net 就是本站主域名,希望大家看清楚,[ 分享码的获取方法 ]可以参考这篇文章
☉ 推荐使用 [ 迅雷 ] 下载,使用 [ WinRAR v5 ] 以上版本解压本站软件。
☉ 如果这个软件总是不能下载的请在评论中留言,我们会尽快修复,谢谢!
☉ 下载本站资源,如果服务器暂不能下载请过一段时间重试!或者多试试几个下载地址
☉ 如果遇到什么问题,请评论留言,我们定会解决问题,谢谢大家支持!
☉ 本站提供的一些商业软件是供学习研究之用,如用于商业用途,请购买正版。
☉ 本站提供的TINA(TIme petri 网络分析工具) v3.4.4 官方安装版资源来源互联网,版权归该下载资源的合法拥有者所有。