We are glad to announce a new version of TAPAAL 3.5.0 with the following updates.
- Intervals on arcs can now be moved and placed arbitrarily
- TAPAAL model files now end with .tapn
- Removal of multiple places at the same time
- Soundness check in batch processing
- Easier sharing of places/transitions accross components
- Improved export to tikz
- GUI refactoring and numerous bug fixes
This is a recommend update for all TAPAAL users.