Joeri Exelmans da5856b33b Merge branch 'optimize-matcher' (not yet seeing the performance enhancement i was hoping for...) пре 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 6571d8556c petri net formalism: add inhibitor arc пре 8 месеци
semantics 54845b2a4a forgot to include WorkerSet in Port-model пре 8 месеци
woods 42757ddc4f add examples пре 9 месеци