TIme Petri Net Analyzer仿真软件下载及使用教程

Posted 2021-04-26 Petri Net笔记

我也是刚接触tina这款仿真软件，昨天晚上试了一下还不错。简单易操作，不需要编程，与上篇文章  提到的CPN tools仿真软件相比，我觉得还是tina好用。下面介绍一下安装及使用方法。

贴一些可能会用到的网址：

tina官网：http://projects.laas.fr/tina/

后台回复： tina  直接获取下载链接。

下载解压后，进入解压后的文件夹——>bin——>nd.exe 如下图

中文介绍说安装需要Java环境，因为之前我已经安装过了Java，因此在安装tina是并未遇到安装不上的问题。如果需要Java环境的话复制这条连接打开下载即可 ：https://www.java.com/zh_CN/

右键创建快捷方式到桌面，或者右键发送到_桌面快捷方式。回到桌面打开刚建立的图标。

点击任意空白处进入

没错，这就是建模界面，朴素，大方。

接下来画个图试一下：

   

选中要设置的库所或变迁右键可以进行参数设置。

连线错误时，点击“选择工具”可对错误的连线进行修改。

注意：保存的位置要在默认的文件夹里。 

仿   真

工具栏tools--->检查（check net）---->stepper simulator后如下图

红色的说明这个变迁可以发生，点击T1，P2中得到一个token。点红的就能进行下一步，不过，中间有些小问题，希望看到的朋友可以交流下（哈哈哈哈埋个伏笔，写到这里我才明白我的问题所在了）。

这一排的意思在 Help 里边探索吧

还有许多精彩的内容我还没发现，大家慢慢探索吧！

希望大家多多提供意见，后台多多交流。

一个人可以走得很快，但是一群人才能走得更远

如果有需要建群交流的话记得私信反馈哦

（完）

本文不允许转载

觉得有用的话点个在看，多多分享吧，让我们将Petri进行到底。