Petri Nets analysis tool and editor. #Petri Nets analysis #Petri Nets editor #Analyze Petri Nets #Petri Nets #Editor #Analysis
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 Tina Toolbox 3.4.4:
- tts exceptions are now handled by sift and play rather than by tts libraries, with more helpful error messages.
Tina Toolbox 3.4.4
add to watchlist add to download basket send us an update REPORT- runs on:
- Mac OS X 10.6 or later (Intel only)
- file size:
- 10.9 MB
- filename:
- tina-3.4.4-intel-pc.dmg
8 screenshots:
- main category:
- Math/Scientific
- developer:
- visit homepage
calibre
Effortlessly keep your e-book library thoroughly organized with the help of the numerous features offered by this efficient and capable manager
4k Video Downloader
Export your favorite YouTube videos and playlists with this intuitive, lightweight program, built to facilitate downloading clips from the popular website
7-Zip
An intuitive application with a very good compression ratio that can help you not only create and extract archives, but also test them for errors
ShareX
Capture your screen, create GIFs, and record videos through this versatile solution that includes various other amenities: an OCR scanner, image uploader, URL shortener, and much more
Zoom Client
The official desktop client for Zoom, the popular video conferencing and collaboration tool used by millions of people worldwide
Microsoft Teams
Effortlessly chat, collaborate on projects, and transfer files within a business-like environment by employing this Microsoft-vetted application
Windows Sandbox Launcher
Set up the Windows Sandbox parameters to your specific requirements, with this dedicated launcher that features advanced parametrization
Bitdefender Antivirus Free
Feather-light and free antivirus solution from renowned developer that keeps the PC protected at all times from malware without requiring user configuration
IrfanView
With support for a long list of plugins, this minimalistic utility helps you view images, as well as edit and convert them using a built-in batch mode
paint.net
Packed with an array of options and an intuitive interface, this application enables you to create professional-looking photographs
38% discount
Bitdefender Antivirus Free
- Bitdefender Antivirus Free
- IrfanView
- paint.net
- calibre
- 4k Video Downloader
- 7-Zip
- ShareX
- Zoom Client
- Microsoft Teams
- Windows Sandbox Launcher
essentials
User Comments
This enables Disqus, Inc. to process some of your data. Disqus privacy policy