Commits · 488236fb4ebc6e5c72428e7aa860701cfde955f9 · JastAdd / pnml / pnml-relast

Jun 24, 2020
- fix constraint violation: two arcs used the same id · 488236fb
  Johannes Mey authored 4 years ago
  
  488236fb
- the order of some child elements of 'graphics' is relevant. this is most... · 58a269a2
  Johannes Mey authored 4 years ago
  58a269a2
- positions, offsets, and line widths must be integers according to the ecore.... · 8c9b4be2
  Johannes Mey authored 4 years ago
  8c9b4be2
- slightly improved GraphViz · b7feb798
  Johannes Mey authored 4 years ago
  
  b7feb798
Jun 23, 2020
- very simple dot visualization added · df9884ad
  Johannes Mey authored 4 years ago
  
  df9884ad
- add p/t net execution (both in-place and by creating new markings) · 0c0e347b
  Johannes Mey authored 4 years ago
  
  0c0e347b
- add second marking grammar · dbabcdba
  Johannes Mey authored 4 years ago
  
  dbabcdba
- move navigation to new file · 95f01b5c
  Johannes Mey authored 4 years ago
  
  95f01b5c
- use minimal example · a1889eeb
  Johannes Mey authored 4 years ago
  
  a1889eeb
Jun 22, 2020
- add some constraint checking · dcc473be
  Johannes Mey authored 4 years ago
  
  dcc473be
May 04, 2020
- update ecore2relast. enums are now generated automatically. · f014f7df
  Johannes Mey authored 5 years ago
  
  f014f7df
- use correct logging · 5005d150
  Johannes Mey authored 5 years ago
  
  5005d150
Apr 20, 2020
- pnml file for the haddadin automaton · 68cb9e07
  Sebastian Ebert authored 5 years ago
  
  68cb9e07
Mar 30, 2020
- add README · 144873ee
  Johannes Mey authored 5 years ago
  
  144873ee
- initial commit · cfd5c73d
  Johannes Mey authored 5 years ago
  
  cfd5c73d