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