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.