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