文件名称：TIme petri Net Analyzer（TINA）工具
文件大小：4.43MB
文件格式：ZIP
更新时间：2012-11-23 16:47:31
Petri Net
Tina是一款对时间Petri网支持得比较好的软件，也是我用得较多的一款软件。 它的运行程序是解压后\bin目录下的nd.exe文件(NetDraw)，适用于Windows和Linux操作系统，也就是说他的移植性很好。 Tina的操作也比较特别，很多操作需要借助键盘按键来完成，如： Ctrl + g用来切换软件背景网格线的有无；鼠标中键用来添加库所；Ctrl +鼠标中键用来添加变迁；用鼠标中键在库所与变迁间拖拽可以添加弧。
【文件预览】：
tina-2.9.6
----bin()
--------plan.exe(897KB)
--------tina.exe(3.42MB)
--------ltl2ba.exe(59KB)
--------ndrio.exe(709KB)
--------selt.exe(533KB)
--------nd.exe(1.12MB)
--------ktzio.exe(597KB)
--------circo.exe(736KB)
--------zlib.dll(69KB)
--------struct.exe(678KB)
--------neato.exe(736KB)
--------graphplace.exe(33KB)
--------plugins()
--------muse.exe(569KB)
--------dot.exe(736KB)
--------plughelp.exe(19KB)
----INSTALL.txt(4KB)
----extras()
--------bcgsupport()
----CHANGES.txt(12KB)
----README.txt(5KB)
----nets()
--------ifip.ktz(234B)
--------pnml_examples()
--------ifip.bcg(2KB)
--------ifip.ndr(638B)
--------abp.ktz(240B)
--------ifip.adr(2KB)
--------l6000.net(140B)
--------hp.ktz(200B)
--------ifip.aut(342B)
--------l6000.ktz(30KB)
--------abp.net(440B)
--------abp.ndr(2KB)
--------abp.adr(869B)
--------l6000.ndr(920B)
--------l6000.aut(97KB)
--------abp.aut(280B)
--------hp.ndr(684B)
--------ifip.net(150B)
--------tpn_examples()
----doc()
--------man()
--------formats()
--------txt()