← Back to branch summary

~cpn-gui/tapaal/cpn-editor

Viewing all changes in revision 1041.

  • Committer: Mark Glavind
  • Date: 2019-05-18 14:05:15 UTC
  • Revision ID: mglavi14@student.aau.dk-20190518140515-262ejgid2g8j9uke
WIP on creating petri net model for update synthesis. Configuration is partially loaded, missing the ltl string. Started working on making the petri net, initial configuration component is done

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: