~verifypn-cpn/verifypn/dynamicExport

Viewing all changes in revision 225.

  • 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

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: