robbe 87fc7362db Scheduler petrinet example vor 3 Monaten
..
cbd 5240c7e21a Add petrinet language vor 8 Monaten
conformance 5240c7e21a Add petrinet language vor 8 Monaten
model_transformation 283cfa7801 enhance petri net renderer vor 8 Monaten
performance da5856b33b Merge branch 'optimize-matcher' (not yet seeing the performance enhancement i was hoping for...) vor 8 Monaten
petrinet 87fc7362db Scheduler petrinet example vor 3 Monaten
schedule 2c64ebda67 Scheduler first commit vor 3 Monaten
semantics c7288635f8 fix runner_exec_pn vor 8 Monaten
woods 42757ddc4f add examples vor 9 Monaten