tina3.2.0i386mswin.zip Windows 98/NT/XP/Vista/7/8

Tina是一款对时间Petri网支持得比较好的软件，也是我用得较多的一款软件。它的运行程序是解压后/bin目录下的nd.exe文件(NetDraw)，适用于Windows和Linux操作系统，也就是说他的移植性很好。Tina的操作也比较特别，很多操作需要借助键盘按键来完成，如：Ctrl+g用来切换软件背景网格线的有无；鼠标中键用来添加库所；Ctrl+鼠标中键用来添加变迁；用鼠标中键在库所与变迁间拖拽可以添加弧。他有专门的模拟模块，点击菜单的tools-steppersimulator可以切换到运行模拟器中，如图。其中Rand表示随机运行，完了之后可回复到初始状态进行单步运行分析等。