-
Committer:
Mark Glavind
-
Date:
2019-05-13 07:20:44 UTC
-
Revision ID:
mglavi14@student.aau.dk-20190513072044-e4vix90v0taml3jh
Unfolded transitions and places keep original coordinates with small changes to keep e.g. places in the same family close to each other