All Classes
- AbstractCandidateTraverser
- AbstractDiscovery
- AbstractFiringSequenceChooser
- AbstractImplicitPlacesRemover
- AbstractProjector
- AcceptingPetriNetWrapper
- AlignmentBasedSequenceGenerator
- AvoidFewOneLoopsFiringSequenceChooser
- AvoidManyOneLoopsFiringSequenceChooser
- BFSCandidateTraverser
- BFSDeltaCombinator
- ColorPreservingMurata
- DeltaDiscovery
- DFSCandidateTraverser
- DiscoveryPlugin
- ESTMinerPlugin
- GlobalMinimizeTokenIncrementsFiringSequenceChooser
- GlobalMinimizeTokensFiringSequenceChooser
- HeuristicUnsafeProjector
- LocalHeuristicMiner
- LocalILPMiner
- LocalInductiveMiner
- LogModifier
- MergeDialog
- MyLog
- MyPlace
- MyPlaceEvaluator
- MyPlaceStatus
- MyProcessModel
- OptimizationBasedImplicitPlaceRemover
- Parameters
- PerformancePlugin
- PetriNetModifier
- PlaceComparatorFittingTraces
- PlaceComparatorNumOfTransitions
- PlugInStatistics
- PNLogMatchInstancesReplayer
- PNMatchInstancesReplayerUI
- ProjectionMinerDialog
- ProjectionMinerParameters
- ProjectionMinerPlugin
- RecursiveProjectionMiner
- ReplayBasedImplicitPlacesRemover
- SafePlaceProjector
- TauNameGenerator
- TokenSequenceCalculator
- TransitionSystemRegionMiner
- TSLocalMinerUI
- TSMinerLocalPlugin
- UI
- ValidFiringSequenceGenerator