petri网仿真软件(Tina Toolbox)

Tina Toolbox是一款适用于windows系统的petri网仿真软件，是一款十分专业的工具，用到的时候不是很多，但是十分必要，这款工具需要java支持，如果遇到运行不了的情况，可以尝试先安装虚拟机，有需要的朋友欢迎使用。

常见问题：

什么是petri网？

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