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