Joeri Exelmans 8fe7b0ea04 Commit some outstanding changes. Add TODO for cleanup. 6 месяцев назад
..
cbd 5240c7e21a Add petrinet language 8 месяцев назад
conformance 8fe7b0ea04 Commit some outstanding changes. Add TODO for cleanup. 6 месяцев назад
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 8fe7b0ea04 Commit some outstanding changes. Add TODO for cleanup. 6 месяцев назад
semantics 8fe7b0ea04 Commit some outstanding changes. Add TODO for cleanup. 6 месяцев назад
woods 42757ddc4f add examples 9 месяцев назад