The TAPAAL Team announces the release of TAPAAL 3.2.0 that includes:

  • the possibility to hide/show place and transition names
  • creation of shared places and transitions directly from the context menu
  • improved simulator that allows to setup time delays using a slider
  • a new memory compression technique (PTrie) in the engine for workflow analysis
  • possibility to import XML queries for untimed nets from MCC-15 competition
  • numerous bug fixes.