Version 2.54
- Differences between simulations were computed in a wrong way, as they
assumed that IDs were used in both UPPAAL models in the same way. We now
go through a couple of mappings UPPAAL --> Cytoscape --> UPPAAL to make
sure that differences are computed between nodes with the same Cytoscape
ID.