Tina Toolbox是一款适用于windows系统的petri网仿真软件,是一款十分专业的工具,用到的时候不是很多,但是十分必要,这款工具需要java支持,如果遇到运行不了的情况,可以尝试先安装虚拟机,有需要的朋友欢迎使用。
常见问题:
什么是petri网?
Petri 网是一种用于描述离散的、分布式系统的数学建模工具。它用形式化手段描述协议的技术.类似于有穷状态自动机.其文法规则有利于计算机程序维护·它可以用来检测协议中的错误,死锁状态。
/中文/
/中文/
/中文/
/中文/
/中文/
/中文/
/中文/
/中文/
/中文/
/中文/
3.3M/中文/3.6
76.4M/中文/6.1
4.7M/多国语言[中文]/8.7
645M/中文/7.1
49.3M/英文/8.0
737KB/中文/9.4
400KB/英文/6.6
Tina Toolbox是一款适用于windows系统的petri网仿真软件,是一款十分专业的工具,用到的时候不是很多,但是十分必要,这款工具需要java支持,如果遇到运行不了的情况,可以尝试先安装虚拟机,有需要的朋友欢迎使用。
什么是petri网?
Petri 网是一种用于描述离散的、分布式系统的数学建模工具。它用形式化手段描述协议的技术.类似于有穷状态自动机.其文法规则有利于计算机程序维护·它可以用来检测协议中的错误,死锁状态。