Joeri Exelmans c7288635f8 fix runner_exec_pn 8 месяцев назад
..
cbd 5240c7e21a Add petrinet language 8 месяцев назад
conformance 5240c7e21a Add petrinet language 8 месяцев назад
model_transformation 283cfa7801 enhance petri net renderer 8 месяцев назад
performance da5856b33b Merge branch 'optimize-matcher' (not yet seeing the performance enhancement i was hoping for...) 8 месяцев назад
petrinet bd1588d809 forgot to remove debug output 8 месяцев назад
semantics c7288635f8 fix runner_exec_pn 8 месяцев назад
woods 42757ddc4f add examples 9 месяцев назад