BPMNChecker

My Master's thesis. The goal was to create a tool, that can visualize BPMN diagrams and that has the ability to simulate said diagrams with user input.