Joeri Exelmans d8b52dd5c4 Add random simulation. Add option to also execute actions that lead to non-conforming model. 1 rok temu
..
conformance cc2bfc3c3c Fix PlantUML urls 1 rok temu
model_transformation 17bff66e8e Add conformance checking example 1 rok temu
semantics d8b52dd5c4 Add random simulation. Add option to also execute actions that lead to non-conforming model. 1 rok temu