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.
What's New in This Release: [ read full changelog ]
· Mostly a maintenance release.
· Improved computation of fixpoints in muse model checker. Fixed mode -A of tina (could disagree with mode -U). Added conversion from ktz to concurrency workbench format to ktzio. Minor fixes in nd.
Find us on Google+
Universal Binary 
