Tina Toolbox是一款petri网仿真软件,它是一个运行上windows上的工具,软件需要java支持,有需要的可以下载体验一下。
关于Petri 网
Petri 网是一种用于描述离散的、分布式系统的数学建模工具。它用形式化手段描述协议的技术.类似于有穷状态自动机.其文法规则有利于计算机程序维护·它可以用来检测协议中的错误,死锁状态。
安装说明
在本站下载并解压Tina Toolbox软件,这创建了一个层次扎根于tina-2.X.Y。二进制文件位于子目录bin中。该编辑器是“nd.exe”,工具是“tina.exe”,“struct.exe”和“ktzio.exe”。
- PC官方版
- 安卓官方手机版
- IOS官方手机版