Tina Toolbox(petri网仿真软件) v3.4.4 英文绿色免费版

Tina Toolbox是一款运行在Windows操作系统上的petri网仿真软件，需要JAVA支持，如果运行不了，请先安装JAVA虚拟机，本文也为大家提供了JAVA虚拟机的下载地址，欢迎有需要的朋友们前来下载使用。

常见问题

　　什么是petri网？

　　Petri 网是一种用于描述离散的、分布式系统的数学建模工具。它用形式化手段描述协议的技术.类似于有穷状态自动机.其文法规则有利于计算机程序维护·它可以用来检测协议中的错误，死锁状态。

安装工具箱：
 

　　在本站下载并解压Tina Toolbox软件，这创建了一个层次扎根于tina-2.X.Y。二进制文件位于子目录bin中。该编辑器是“nd.exe”，工具是“tina.exe”，“struct.exe”和“ktzio.exe”。

更多内容请阅读压缩包中的：INSTALL.txt