Tina Toolbox 3.3.0
Petri Nets analysis tool and editor
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.
In a hurry? Add it to your Download Basket!
What's New in This Release:
- Functionally identical to 3.2.2 but slightly faster thanks to some optimizations of memory management. Some minor fixes to the nd editor.