ProM Lite 1.2 Plug-ins

Wednesday August 30, 2017

Due to possible package updates, this list may change over time.

Plug-in nameUITopiaUITopia namePackage nameAuthor name
0 Project Precision Measurement on NetVisualizerUse Plugin NameDataAwareReplayerMassimiliano de Leoni, Felix Mannhardt
1 Projection on the netVisualizerUse Plugin NameDataAwareReplayerMassimiliano de Leoni, Felix Mannhardt
1 Show Observed/Possible per TraceVisualizerUse Plugin NameDataAwareReplayerMassimiliano de Leoni, Felix Mannhardt
2 Model-Log Alignment in Presence of DataVisualizerUse Plugin NameDataAwareReplayerMassimiliano de Leoni, Felix Mannhardt
3 Alignments Grouped by VariantVisualizerUse Plugin NameDataAwareReplayerMassimiliano de Leoni, Felix Mannhardt
Alpha MinerPlug-in variantUse Plugin NameAlphaMinerS.J. van Zelst, B.F. van Dongen, L.M.A. Tonnaer
Analyze Behavioral Property of Petri netPlug-in variantUse Plugin NamePNAnalysisA. Adriansyah
Analyze Structural Property of Petri netPlug-in variantUse Plugin NamePNAnalysisA. Adriansyah
Analyze Transition SystemPlug-in variantUse Plugin NameTransitionSystemsM. Pesic
Analyze with WoflanPlug-in variantUse Plugin NameWoflanH.M.W. Verbeek
Animate Event Log in Fuzzy InstancePlug-in variantUse Plugin NameFuzzyH. Verbeek
Animate Transition SystemPlug-in variantUse Plugin NameTransitionSystemsH. Verbeek
BPMN XML 2.0 exportExportBPMN XML 2.0 exportBPMNH.M.W. Verbeek, F. Mannhardt, S.J. van Zelst
Configure Visibility of TransitionsPlug-in variantUse Plugin NamePNetReplayerArya Adriansyah
Conformance Checking of DPNPlug-in variantUse Plugin NameDataAwareReplayerF. Mannhardt, M. de Leoni
Convert BPMN diagram to Data Petri netPlug-in variantUse Plugin NameBPMNConversionsA. Kalenkova, D. Fahland
Convert BPMN diagram to Petri net (control-flow)Plug-in variantUse Plugin NameBPMNConversionsD. Fahland
Convert Causal net (C-Net) to Petri netPlug-inUse Plugin NameDataAwareCNetMinerF. Mannhardt
Convert Causal net (C-Net) to Petri netPlug-in variantUse Plugin NameDataAwareCNetMinerF. Mannhardt
Convert CSV to XESPlug-inUse Plugin NameLogF. Mannhardt, N. Tax, D.M.M. Schunselaar
Convert CSV to XESPlug-in variantUse Plugin NameLogF. Mannhardt, N. Tax, D.M.M. Schunselaar
Convert Data Petri net to BPMN diagramPlug-in variantUse Plugin NameBPMNConversionsA. Kalenkova
Convert Data-aware Causal Net (DC-Net) to DPNPlug-inUse Plugin NameDataAwareCNetMinerF. Mannhardt
Convert Data-aware Causal Net (DC-Net) to DPNPlug-in variantUse Plugin NameDataAwareCNetMinerF. Mannhardt
Convert Petri net to BPMN diagramPlug-in variantUse Plugin NameBPMNConversionsA. Kalenkova
Convert Process Tree to Petri NetPlug-inUse Plugin NameProcessTreeS.J.J. Leemans
Convert Process Tree to Petri NetPlug-in variantUse Plugin NameProcessTreeS.J.J. Leemans
Create Final MarkingPlug-in variantUse Plugin NamePNetReplayerArya Adriansyah
Create Initial MarkingPlug-in variantUse Plugin NamePNetReplayerArya Adriansyah
Create/Edit PetriNet With DataPlug-inUse Plugin NameDataPetriNetsM. de Leoni
Create/Edit PetriNet With DataPlug-in variantUse Plugin NameDataPetriNetsM. de Leoni
Data Petri net (Graphviz)VisualizerUse Plugin NameDataPetriNetsMassimiliano de Leoni
Data-aware ExplorerVisualizerUse Plugin NameDataAwareExplorerFelix Mannhardt
Discovered Data Petri net (Graphviz)VisualizerUse Plugin NameDataDiscoveryF. Mannhardt
Discovery of the Process Data-Flow (Decision-Tree Miner)Plug-in variantUse Plugin NameDataDiscoveryMassimiliano de Leoni, F. Mannhardt,
Explore Event Log (Trace Variants / Searchable / Sortable)Plug-inUse Plugin NameLogEnhancementF. Mannhardt
Explore Event Log (Trace Variants / Searchable / Sortable)Plug-in variantUse Plugin NameLogEnhancementF. Mannhardt
Explore Event Log (Trace Variants / Searchable / Sortable)VisualizerUse Plugin NameLogEnhancementF. Mannhardt
Export as Causal Net (.cnet)ExportExport as Causal Net (.cnet)CNetFelix Mannhardt, Arya Adriansyah
Export Log to compressed XES FileExportExport Log to compressed XES FileLogH.M.W. Verbeek, F. Mannhardt, S.J. van Zelst
Export Log to compressed XES FilePlug-in variantUse Plugin NameLogH.M.W Verbeek
Export Log to CSV FileExportExport Log to CSV FileLogH.M.W. Verbeek, F. Mannhardt, S.J. van Zelst
Export Log to CSV FilePlug-in variantUse Plugin NameLogF. Mannhardt
Export Log to XES FileExportExport Log to XES FileLogH.M.W. Verbeek, F. Mannhardt, S.J. van Zelst
Export Log to XES FilePlug-in variantUse Plugin NameLogH.M.W Verbeek
Export of Data Petri netsExportExport of Data Petri netsDataPetriNetsMassimiliano de Leoni
Filter Log on Event Attribute ValuesPlug-in variantUse Plugin NameLogH.M.W. Verbeek
Filter Log on Trace Attribute ValuesPlug-in variantUse Plugin NameLogH.M.W. Verbeek
Filter Log using Simple HeuristicsPlug-in variantUse Plugin NameLogH.M.W. Verbeek
Filter Log: Retain Trace with Higher FitnessPlug-inUse Plugin NameDataAwareReplayerF. Mannhardt
Filter Log: Retain Trace with Higher FitnessPlug-in variantUse Plugin NameDataAwareReplayerF. Mannhardt
Filter Log: Retain Trace with Lower FitnessPlug-inUse Plugin NameDataAwareReplayerF. Mannhardt
Filter Log: Retain Trace with Lower FitnessPlug-in variantUse Plugin NameDataAwareReplayerF. Mannhardt
Graphviz Accepting Petri net visualisationPlug-inUse Plugin NameInductiveVisualMinerS.J.J. Leemans
Graphviz Accepting Petri net visualisationPlug-in variantUse Plugin NameInductiveVisualMinerS.J.J. Leemans
Graphviz Accepting Petri net visualisationVisualizerUse Plugin NameInductiveVisualMinerSJJ Leemans
Graphviz Petri net visualisationPlug-inUse Plugin NameInductiveVisualMinerS.J.J. Leemans
Graphviz Petri net visualisationPlug-in variantUse Plugin NameInductiveVisualMinerS.J.J. Leemans
Graphviz Petri net visualisationVisualizerUse Plugin NameInductiveVisualMinerSJJ Leemans
Graphviz process tree visualisationVisualizerUse Plugin NameInductiveVisualMinerSJJ Leemans
ILP-Based Process DiscoveryPlug-in variantUse Plugin NameHybridILPMinerS.J. van Zelst
ILP-Based Process DiscoveryPlug-in variantUse Variant NameHybridILPMinerS.J. van Zelst
Import a CSV file and convert it to XESImportImport a CSV file and convert it to XESLogH.M.W. Verbeek, F. Mannhardt, S.J. van Zelst
Import BPMN model from BPMN 2.0 fileImportImport BPMN model from BPMN 2.0 fileBPMNH.M.W. Verbeek, F. Mannhardt, S.J. van Zelst
Import Data Petri Net from PNML fileImportImport Data Petri Net from PNML fileDataPetriNetsMassimiliano de Leoni
Import Petri net from PNML fileImportImport Petri net from PNML filePetriNetsH.M.W. Verbeek, S.J. van Zelst
Import Process tree from PTML fileImportImport Process tree from PTML fileProcessTreeJ.C.A.M. Buijs, B.F. van Dongen, D.M.M. Schunselaar, and H.M.W. Verbeek
Import Transition system from TSML fileImportImport Transition system from TSML fileTransitionSystemsH.M.W. Verbeek
Inductive visual MinerPlug-inUse Plugin NameInductiveVisualMinerS.J.J. Leemans
Inductive visual MinerPlug-in variantUse Plugin NameInductiveVisualMinerS.J.J. Leemans
Inductive visual MinerVisualizerUse Plugin NameInductiveVisualMinerSJJ Leemans
Interactive Data-aware Heuristic Miner (iDHM)Plug-inUse Plugin NameDataAwareCNetMinerF. Mannhardt
Interactive Data-aware Heuristic Miner (iDHM)Plug-in variantUse Plugin NameDataAwareCNetMinerF. Mannhardt
Interactive Data-aware Heuristic MinerPlug-inUse Plugin NameDataAwareCNetMinerF. Mannhardt
Interactive Data-aware Heuristic MinerPlug-in variantUse Plugin NameDataAwareCNetMinerF. Mannhardt
Interactive Data-aware Heuristic MinerVisualizerUse Plugin NameDataAwareCNetMinerF. Mannhardt
Leemans Episode minerPlug-in variantUse Variant NameEpisodeMinerM. Leemans
Log SummaryVisualizerLog VisualizerLogDialogH.M.W. Verbeek, M. de Leoni, S.J. van Zelst
Measure Precision/GeneralizationPlug-in variantUse Plugin NamePNetAlignmentAnalysisArya Adriansyah
Mine Fuzzy ModelPlug-in variantMine for a Fuzzy ModelFuzzyH.M.W. Verbeek
Mine Petri net with Inductive MinerPlug-inUse Plugin NameInductiveMinerS.J.J. Leemans
Mine Petri net with Inductive MinerPlug-in variantUse Plugin NameInductiveMinerS.J.J. Leemans
Mine process tree with Inductive MinerPlug-inUse Plugin NameInductiveMinerS.J.J. Leemans
Mine process tree with Inductive MinerPlug-in variantUse Plugin NameInductiveMinerS.J.J. Leemans
Mine Transition SystemPlug-in variantUse Plugin NameTransitionSystemsH.M.W. Verbeek
Mine with Inductive visual MinerPlug-inUse Plugin NameInductiveVisualMinerS.J.J. Leemans
Mine with Inductive visual MinerPlug-in variantUse Plugin NameInductiveVisualMinerS.J.J. Leemans
Model Projected with AlignmentsVisualizerUse Plugin NamePNetAlignmentAnalysisB.F. van Dongen
Multi-perspective Process ExplorerPlug-in variantUse Plugin NameDataAwareExplorerF. Mannhardt
Open CNet fileImportOpen CNet fileCNetFelix Mannhardt, Arya Adriansyah
Open XES Log File (Naive)ImportOpen XES Log File (Naive)LogH.M.W. Verbeek, F. Mannhardt, S.J. van Zelst
Open XES Log File (XESLite – MapDB (no cache))ImportOpen XES Log File (XESLite – MapDB (no cache))XESLiteF. Mannhardt
Open XES Log File (XESLite – MapDB)ImportOpen XES Log File (XESLite – MapDB)XESLiteF. Mannhardt
Open XES Log File (XESLite – Sequential XIDs)ImportOpen XES Log File (XESLite – Sequential XIDs)XESLiteF. Mannhardt
Perform Predictions of Business Process FeaturesPlug-in variantUse Plugin NameFeaturePredictionMassimiliano de Leoni
Performance Projection to ModelVisualizerUse Plugin NamePNetAlignmentAnalysisB.F. van Dongen
PNML export (Petri net)ExportPNML export (Petri net)PetriNetsH.M.W. Verbeek, S.J. van Zelst
Precision of DPNPlug-in variantUse Plugin NameDataAwareReplayerF. Mannhardt
PredictionPlug-inUse Plugin NameFeaturePredictionMassimiliano
PredictionPlug-in variantUse Plugin NameFeaturePredictionMassimiliano
PredictionVisualizerUse Plugin NameFeaturePredictionMassimiliano de Leoni
Project Alignment to LogVisualizerUse Plugin NamePNetReplayerA. Adriansyah
Project Log as DottedChartVisualizerDotted ChartLogProjectionB.F. van Dongen
Project Log on DottedChartPlug-inProject Log on DottedChartLogProjectionB.F. van Dongen
Project Log on DottedChartPlug-in variantProject Log on DottedChartLogProjectionB.F. van Dongen
Project Manifest to LogVisualizerUse Plugin NamePNetReplayerA. Adriansyah
Project Manifest to Model for ConformanceVisualizerUse Plugin NamePNetAlignmentAnalysisB.F. van Dongen
PTML export (Process tree)ExportPTML export (Process tree)ProcessTreeJ.C.A.M. Buijs, B.F. van Dongen, D.M.M. Schunselaar, and H.M.W. Verbeek
Reduce All TransitionsPlug-inUse Plugin NameMurataH.M.W Verbeek
Reduce All TransitionsPlug-in variantUse Plugin NameMurataH.M.W Verbeek
Reduce All Transitions, Retain Sink/Source PlacesPlug-inUse Plugin NameMurataH.M.W Verbeek
Reduce All Transitions, Retain Sink/Source PlacesPlug-in variantUse Plugin NameMurataH.M.W Verbeek
Reduce Silent TransitionsPlug-in variantUse Plugin NameMurataH.M.W Verbeek
Repair Log With Respect to AlignmentPlug-inUse Plugin NameDataAwareReplayerM. de Leoni
Repair Log With Respect to AlignmentPlug-in variantUse Plugin NameDataAwareReplayerM. de Leoni
Repair Log: Globals, Classifiers, ExtensionsPlug-inUse Plugin NameLogF. Mannhardt
Repair Log: Globals, Classifiers, ExtensionsPlug-in variantUse Plugin NameLogF. Mannhardt
Replay a Log on Petri Net for Conformance AnalysisPlug-in variantUse Plugin NamePNetReplayerArya Adriansyah
Replay a Log on Petri Net for Performance/Conformance AnalysisPlug-in variantUse Plugin NamePNetReplayerArya Adriansyah
Select Best Fuzzy InstancePlug-in variantSelect Best Fuzzy InstanceFuzzyH.M.W. Verbeek
Select BPMN DiagramPlug-in variantUse Plugin NameBPMNH.M.W. Verbeek
Show (Default) Fuzzy InstanceVisualizerUse Plugin NameFuzzyH.M.W. Verbeek, C.W. Gunther, and J.F. Li
Show animationVisualizerUse Plugin NameAnimationH.M.W. Verbeek
Show Fuzzy ModelVisualizerUse Plugin NameFuzzyH.M.W. Verbeek, C.W. Gunther, and J.F. Li
Show Leemans Episode Model RulesVisualizerUse Plugin NameEpisodeMinerM Leemans
Show Mined Transition SystemVisualizerUse Plugin NameTransitionSystemsH.M.W. Verbeek
Show Package OverviewPlug-in variantUse Plugin NameH.M.W. Verbeek
Show PomPom ViewPlug-in variantUse Plugin NamePomPomViewH.M.W. Verbeek
Show Transition SystemVisualizerUse Plugin NameTransitionSystemsH.M.W. Verbeek
Social Network (HoW) minerPlug-in variantMine for a Handover-of-Work Social NetworkSocialNetworkM. Song
Social Network (RA) minerPlug-in variantMine for a Reassignment Social NetworkSocialNetworkM. Song
Social Network (SC) minerPlug-in variantMine for a Subcontracting Social NetworkSocialNetworkM. Song
Social Network (WT) minerPlug-in variantMine for a Working-Together Social NetworkSocialNetworkM. Song
Time Between Transition AnalysisVisualizerUse Plugin NamePNetAlignmentAnalysisB.F. van Dongen
Time Between Transition Class AnalysisVisualizerUse Plugin NamePNetAlignmentAnalysisB.F. van Dongen
Trace Alignment of AlignmentsVisualizerUse Plugin NamePNetAlignmentAnalysisB.F. van Dongen
Transition system annotation visualizationVisualizerUse Plugin NameTransitionSystemsH.M.W. Verbeek
Transition System to PetrinetPlug-in variantConvert to Petri Net using RegionsTSPetrinetB.F. van Dongen
TSML export (Transition system)ExportTSML export (Transition system)TransitionSystemsH.M.W. Verbeek
Visualize BPMNVisualizerUse Plugin NameBPMNH.M.W. Verbeek, F. Mannhardt, S.J. van Zelst
Visualize Causal Net (CNet)VisualizerUse Plugin NameCNetFelix Mannhardt, Arya Adriansyah
Visualize Data-aware Causal NetVisualizerUse Plugin NameCNetFelix Mannhardt, Arya Adriansyah
Visualize DottedChartVisualizerDotted ChartLogProjectionB.F. van Dongen
Visualize Fuzzy Instance (Dot)VisualizerUse Plugin NameGraphVisualizersH.M.W. Verbeek
Visualize HTML textVisualizerUse Plugin Name
Visualize Petri Net (Dot)VisualizerUse Plugin NameGraphVisualizersH.M.W. Verbeek
Visualize Petri netVisualizerUse Plugin NamePetriNetsH.M.W. Verbeek, S.J. van Zelst
Visualize PomPom ViewVisualizerUse Plugin NamePomPomViewH.M.W. Verbeek
Visualize Process tree as BPMNVisualizerUse Plugin NameProcessTreeJ.C.A.M. Buijs, B.F. van Dongen, D.M.M. Schunselaar, and H.M.W. Verbeek
Visualize Process tree as TreeVisualizerUse Plugin NameProcessTreeJ.C.A.M. Buijs, B.F. van Dongen, D.M.M. Schunselaar, and H.M.W. Verbeek
Visualize Social NetworkVisualizerUse Plugin NameSocialNetworkA. Syamsiyah, B.F. van Dongen, M.S. Song, S.J. van Zelst
Visualize Transition System (Dot)VisualizerUse Plugin NameGraphVisualizersH.M.W. Verbeek