org.processmining.plugins.declareminer
Classes 
AutomatonUtils
ExecutableAutomaton
PossibleNodes