Here is a video showing how to use Kogi.
Recommended model editors:
You can download a zip file with test models: Data.zip
Usage:
- The goal model is required. If only the goal model is selected, the What If interface is shown
- For a goal model plus a DCR Graph or BPMN model, the non-interactive analysis is run after which the What If interface is shown.
- Both also require a mapping to be uploaded.
- For Petri Nets there is a choice to choose the interactive mode or the non-interactive mode by having the check box slected or not. This basically depends on if the Petri Net has position information for places and transitions. This is required by the interactive mode.
- For Petri nets, the map can be omitted, if the actions in the Petri net correspond to intensional element names of the goal model.