ProM Lite 1.1 Plug-ins

Plug-inPackageComments
1 Projection on the netDataAwareReplayerVisualizer
1 Show Observed/Possible per TraceDataAwareReplayerVisualizer
2 Model-Log Alignment in Presence of DataDataAwareReplayerVisualizer
3 Alignments Grouped by VariantDataAwareReplayerVisualizer
Alpha MinerAlphaMiner
Analyze Behavioral Property of Petri netPNAnalysis
Analyze Structural Property of Petri netPNAnalysis
Analyze with WoflanWoflan
Animate Event Log in Fuzzy InstanceFuzzy
Animate Transition SystemTransitionSystems
BPMN MinerBPMNMiner
BPMN XML 2.0 exportBPMNExport
Configure Visibility of TransitionsPNetReplayer
Conformance Checking of DPNDataAwareReplayer
Convert CSV to XESLog
Convert Data Petri net to BPMN diagramBPMNConversions
Convert Heuristics net into Petri netHeuristicsMiner
Convert Petri net to BPMN diagramBPMNConversions
Convert Process Tree to Petri NetProcessTree
Convert to Petri Net using RegionsTSPetrinet
Create Final MarkingPNetReplayer
Create Initial MarkingPNetReplayer
Create/Edit PetriNet With DataDataPetriNets
Data Petri net (Graphviz)DataPetriNetsVisualizer
Data-aware ExplorerDataAwareExplorerVisualizer
Discovery of the Process Data-Flow (Decision-Tree Miner)DataPetriNets
Dotted ChartLogProjectionVisualizer
Explore Event Log (Trace Variants / Searchable / Sortable)LogEnhancementVisualizer
Export Log to compressed XES FileLogExport
Export Log to CSV FileLogExport
Export Log to XES FileLogExport
Export of Data Petri netsDataPetriNetsExport
Filter Log on Event Attribute ValuesLog
Filter Log on Trace Attribute ValuesLog
Filter Log using Simple HeuristicsLog
Filter Log: Retain Trace with Higher FitnessDataAwareReplayer
Filter Log: Retain Trace with Lower FitnessDataAwareReplayer
Graphviz Petri net visualisationInductiveVisualMinerVisualizer
Graphviz process tree visualisationInductiveVisualMinerVisualizer
ILP-Based Process DiscoveryHybridILPMiner
Import a CSV file and convert it to XESLogImport
Import BPMN model from BPMN 2.0 fileBPMNImport
Import Data Petri Net from PNML fileDataPetriNetsImport
Import Petri net from PNML filePetriNetsImport
Import Process tree from PTML fileProcessTreeImport
Import Transition system from TSML fileTransitionSystemsImport
Inductive visual MinerInductiveVisualMiner
Log VisualizerLogDialogVisualizer
Measure Precision/GeneralizationPNetAlignmentAnalysis
Mine for a Fuzzy ModelFuzzy
Mine for a Handover-of-Work Social NetworkSocialNetwork
Mine for a Heuristics Net using Heuristics MinerHeuristicsMiner
Mine for a Reassignment Social NetworkSocialNetwork
Mine for a Subcontracting Social NetworkSocialNetwork
Mine for a Working-Together Social NetworkSocialNetwork
Mine Petri net with Inductive MinerInductiveMiner
Mine process tree with Inductive MinerInductiveMiner
Mine Transition SystemTransitionSystems
Mine with Inductive visual MinerInductiveVisualMiner
Model Projected with AlignmentsPNetAlignmentAnalysisVisualizer
Multi-perspective Process ExplorerDataAwareExplorer
Open XES Log File (Disk-buffered by MapDB)XESLiteImport
Open XES Log File (Disk-buffered by MapDB, w/o cache)XESLiteImport
Open XES Log File (Lightweight & Sequential IDs)XESLiteImport
Open XES Log File (Naive)LogImport
Perform Predictions of Business Process FeaturesFeaturePrediction
Performance Projection to ModelPNetAlignmentAnalysisVisualizer
PNML export (Petri net)PetriNetsExport
Precision of Data Petri Net (DPN)DataAwareReplayer
PredictionFeaturePrediction
Project Alignment to LogPNetReplayerVisualizer
Project Log on DottedChartLogProjection
Project Manifest to LogPNetReplayerVisualizer
Project Manifest to Model for ConformancePNetAlignmentAnalysisVisualizer
PTML export (Process tree)ProcessTreeExport
Reduce All TransitionsMurata
Reduce All Transitions, Retain Sink/Source PlacesMurata
Reduce Silent TransitionsMurata
Repair Log With Respect to AlignmentDataAwareReplayer
Repair Log: Globals, Classifiers, ExtensionsLog
Repair ModelModelRepair
Repair Model (find loops)ModelRepair
Repair Model (find subprocesses)ModelRepair
Repair Model (remove unused parts)ModelRepair
Replay a Log on Petri Net for Conformance AnalysisPNetReplayer
Replay a Log on Petri Net for Performance/Conformance AnalysisPNetReplayer
Select Best Fuzzy InstanceFuzzy
Select BPMN DiagramBPMN
Show (Default) Fuzzy InstanceFuzzyVisualizer
Show animationAnimationVisualizer
Show Fuzzy ModelFuzzyVisualizer
Show Leemans Episode Model RulesEpisodeMinerVisualizer
Show Mined Transition SystemTransitionSystemsVisualizer
Show PomPom ViewPomPomView
Show Transition SystemTransitionSystemsVisualizer
Time Between Transition AnalysisPNetAlignmentAnalysisVisualizer
Time Between Transition Class AnalysisPNetAlignmentAnalysisVisualizer
Trace Alignment of AlignmentsPNetAlignmentAnalysisVisualizer
TSML export (Transition system)TransitionSystemsExport
Use Variant NameEpisodeMiner
Visualize BPMNBPMNVisualizer
Visualize Fuzzy Instance (Dot)GraphVisualizersVisualizer
Visualize HeuristicsNet with AnnotationsHeuristicsMinerVisualizer
Visualize HTML textFrameworkVisualizer
Visualize Petri netPetriNetsVisualizer
Visualize Petri Net (Dot)GraphVisualizersVisualizer
Visualize PomPom ViewPomPomViewVisualizer
Visualize Process tree as BPMNProcessTreeVisualizer
Visualize Process tree as TreeProcessTreeVisualizer
Visualize Social NetworkSocialNetworkVisualizer
Visualize Transition System (Dot)GraphVisualizersVisualizer