org.processmining.glueminer.algorithms
Classes
GeneratePetrinet
GlueMiner
LogGenerator
PlaceAdditionTriager
PlaceSearchRecursion
TokenReplayer