Tina是一款对时间Petri网支持得比较好的软件，也是我用得较多的一款软件。它的运行程序是解压后/bin目录下的nd.exe文件(NetDraw)，适用于Windows和Linux操作系统，也就是说他的移植性很好。