Joeri Exelmans 6b5931343d Merge remote-tracking branch 'github/master' into development 2 semanas atrás
..
cbd 5240c7e21a Add petrinet language 8 meses atrás
conformance 35f74aed84 get rid of unnecessary link 2 semanas atrás
ftg_pm_pt d00b9c25db Add 'simplified' version of the FTG+PM++ formalism with operational semantics 2 meses atrás
model_transformation 8fe7b0ea04 Commit some outstanding changes. Add TODO for cleanup. 6 meses atrás
performance da5856b33b Merge branch 'optimize-matcher' (not yet seeing the performance enhancement i was hoping for...) 8 meses atrás
petrinet 9475b1fdc5 Merge remote-tracking branch 'origin/master' into development 2 meses atrás
schedule 8ee9fba4ea petrinet example fixed 3 meses atrás
semantics 8fe7b0ea04 Commit some outstanding changes. Add TODO for cleanup. 6 meses atrás
woods 42757ddc4f add examples 9 meses atrás