Joeri Exelmans fd8bc3bc40 improve (Port + Petri Net + traceability)-renderer 1 rok temu
..
cbd 5240c7e21a Add petrinet language 1 rok temu
conformance 5240c7e21a Add petrinet language 1 rok temu
model_transformation 283cfa7801 enhance petri net renderer 1 rok temu
performance da5856b33b Merge branch 'optimize-matcher' (not yet seeing the performance enhancement i was hoping for...) 1 rok temu
petrinet bd1588d809 forgot to remove debug output 1 rok temu
semantics fd8bc3bc40 improve (Port + Petri Net + traceability)-renderer 1 rok temu
woods 42757ddc4f add examples 1 rok temu