automaton2bpmn
ipywidgets
pm4py
teocomp
