TINA

Mathematics has always been employed at the fringes of our knowledge to expand our understanding of the natural and non-natural phenomena affecting our lives. The digital revolution has meant programs of varying complexities have come to the aid of traditional mathematical models and methods. TINA follows this trend and allows knowledgeable users to create basic or complex Petri transition nets.

Create transition nets

The application also doubles as an editor for existing such documents, and several conversion possibilities are also available. The tool is built around a modular architecture, with several auxiliary components that can be employed to ensure improved results. Twelve such utilities are available, several of which target conversions.
Others deal with editing Automata, Petri, and Time Petri nets, but also the construction and error-checking of reachability graphs. Structural or path analyses of items are also supported and mu-calculus model checkers are available for usage.

Load existing Petri charts and insert notes

As for source documents, the application can target AUT, KTZ, NDR, NET, and BCG files, although any items with adequate internal structures can be loaded and processed. All the standard net objects are available when generating new transition graphs, such as places, transitions or arcs and the program allows users to add custom notes to their workspace.
Depending on the chosen layout of the Petri net, users can employ the various available modules to test their project and ensure errors are absent. Once satisfied with their work, users can export to PNML, TPN or TIM formats, as well as issue print jobs.

All in all, an asset for generating simple, but informative transition nets

To conclude, TINA is an adequate tool for anyone regularly working with Petri nets and similar mathematical transition charts. The application can open existing charts, as well as generate new items with all the basic components - places, transitions, and arcs.