TINA 3.4.4
TINA : Create new Petri nets or edit existing ones with this intuitive application that allows you to import nets from TPN and PNML formatsMathematics 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.Conclusion
To conclude TINA works on Windows operating system(s) and can be easily downloaded using the below download link according to Freeware license. TINA download file is only 8.4 MB in size.TINA was filed under the Science and Engineering category and was reviewed in softlookup.com and receive 5/5 Score.
TINA has been tested by our team against viruses, spyware, adware, trojan, backdoors and was found to be 100% clean. We will recheck TINA when updated to assure that it remains clean.
TINA user Review
Please review TINA application and submit your comments below. We will collect all comments in an effort to determine whether the TINA software is reliable, perform as expected and deliver the promised features and functionalities.Popularity 10/10 - Downloads - 38 - Score - 5/5
Softlookup.com 2023 - Privacy Policy
| Category: | Science and Engineering |
| Publisher: | Bernard Berthomieu, François Vernadat ... |
| Last Updated: | 1/11/2023 |
| Requirements: | Not specified |
| License: | Freeware |
| Operating system: | Windows |
| Hits: | 1103 |
| File size: | 8.4 MB |
| Price: | Not specified |
| Name: * |
E-Mail: * |
| Comment: * |
|