- 软件介绍
- 软件截图
介绍
Tina Toolbox是一款运行在WINDOWS系统上的petri网仿真软件，需要JAVA支持，如果运行不了，请先安装JAVA虚拟机，有需要的赶快下载吧！
常见问题
什么是petri网？ Petri 网是一种用于描述离散的、分布式系统的数学建模工具。它用形式化手段描述协议的技术.类似于有穷状态自动机.其文法规则有利于计算机程序维护·它可以用来检测协议中的错误，死锁状态。
Tina Toolbox常见问题
什么是petri网？ Petri 网是一种用于描述离散的、分布式系统的数学建模工具。它用形式化手段描述协议的技术.类似于有穷状态自动机.其文法规则有利于计算机程序维护·它可以用来检测协议中的错误，死锁状态。
展开
软件截图
