Commits · master · JastAdd / pnml / pnml-relast

Nov 04, 2021
- Merge branch 'feature/ref-execution' into 'master' · 1cc0c255
  Johannes Mey authored 3 years ago
  1cc0c255
Oct 29, 2021
- clean up · dedccdd9
  Sebastian Ebert authored 3 years ago
  
  dedccdd9
- clean up · ad6d6d99
  Sebastian Ebert authored 3 years ago
  
  ad6d6d99
Oct 28, 2021
- added ref-place and ref-transition execution support · 4bc590d8
  Sebastian Ebert authored 3 years ago
  
  4bc590d8
Oct 25, 2021
- fix typo · f8dfb6b3
  Johannes Mey authored 3 years ago
  
  f8dfb6b3
- ignore file · 43abb5de
  Johannes Mey authored 3 years ago
  
  43abb5de
- Merge branch 'master' of git-st.inf.tu-dresden.de:jastadd/pnml-relast · 8bc4562f
  Johannes Mey authored 3 years ago
  
  8bc4562f
- add missing syn in navigation attributes · 0f99d67f
  Johannes Mey authored 3 years ago
  
  0f99d67f
May 26, 2021
- Add License · c237d7fa
  Johannes Mey authored 3 years ago
  
  c237d7fa
Jun 24, 2020
- use haddadin automaton as example PN, print PNML framework error messages · 518a4529
  Johannes Mey authored 4 years ago
  
  518a4529
- 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