Description
TINA, short for TIme petri Net Analyzer, is a free and cross-platform utility that enables you to analyze and edit Petri Nets.
In other words, Tina Toolbox allows you to edit the Time Petri nets or automata, depending on the command line flags, the loaded file or on the selected options.
The full list of tools included in Tina Toolbox can be found HERE.
Tina Toolbox is cross-platform and it works on Mac OS X, Windows and Linux. Binaries for the Windows and Linux platforms are available on the project's homepage.
User Reviews for Tina Toolbox FOR MAC 1
-
for Tina Toolbox FOR MAC
Tina Toolbox for Mac is a versatile utility for analyzing and editing Petri Nets. A must-have for researchers and programmers.