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.