Joeri Exelmans 8fe7b0ea04 Commit some outstanding changes. Add TODO for cleanup. vor 6 Monaten
..
cbd 5240c7e21a Add petrinet language vor 8 Monaten
conformance 8fe7b0ea04 Commit some outstanding changes. Add TODO for cleanup. vor 6 Monaten
model_transformation 8fe7b0ea04 Commit some outstanding changes. Add TODO for cleanup. vor 6 Monaten
performance da5856b33b Merge branch 'optimize-matcher' (not yet seeing the performance enhancement i was hoping for...) vor 8 Monaten
petrinet 8fe7b0ea04 Commit some outstanding changes. Add TODO for cleanup. vor 6 Monaten
semantics 8fe7b0ea04 Commit some outstanding changes. Add TODO for cleanup. vor 6 Monaten
woods 42757ddc4f add examples vor 9 Monaten