All Classes

Class	Description
AbstractCandidateTraverser
AbstractDiscovery
AbstractFiringSequenceChooser
AbstractImplicitPlacesRemover
AbstractProjector
AcceptingPetriNetWrapper	Class for storing results of a discovery algorithm, which also further contains the parameters used for the run of the discovery algorithm.
AlignmentBasedSequenceGenerator
AvoidFewOneLoopsFiringSequenceChooser
AvoidManyOneLoopsFiringSequenceChooser
BFSCandidateTraverser
BFSDeltaCombinator
ColorPreservingMurata
DeltaDiscovery
DFSCandidateTraverser
DiscoveryPlugin
ESTMinerPlugin
GlobalMinimizeTokenIncrementsFiringSequenceChooser
GlobalMinimizeTokensFiringSequenceChooser
HeuristicUnsafeProjector
LocalHeuristicMiner
LocalILPMiner
LocalInductiveMiner
LogModifier	Class to modify logs.
MergeDialog
MyLog
MyPlace
MyPlaceEvaluator
MyPlaceStatus
MyProcessModel
OptimizationBasedImplicitPlaceRemover
Parameters
PerformancePlugin
PetriNetModifier	Class for Petri net modifications.
PlaceComparatorFittingTraces
PlaceComparatorNumOfTransitions
PlugInStatistics
PNLogMatchInstancesReplayer	This class replay a log on a model and return the set of all best matching alignments for all traces in the log.
PNMatchInstancesReplayerUI
ProjectionMinerDialog
ProjectionMinerParameters
ProjectionMinerPlugin
RecursiveProjectionMiner
ReplayBasedImplicitPlacesRemover
SafePlaceProjector
TauNameGenerator
TokenSequenceCalculator
TransitionSystemRegionMiner
TSLocalMinerUI
TSMinerLocalPlugin
UI
ValidFiringSequenceGenerator