| Plug-in | Package | Core | Core Author |
| Add Artificial End Event Filter | | Plugins | B.F. van Dongen |
| Add Artificial Start Event Filter | | Plugins | B.F. van Dongen |
| Add Missing Events | LogInsertStart | | |
| Alpha Miner | AlphaMiner | | |
| Analyze Behavioral Property of Petri net | PNAnalysis | | |
| Analyze Boundedness | PNAnalysis | | |
| Analyze Boundedness with LoLA | ServiceTech | | |
| Analyze Free Choice property and Extended Free Choice | PNAnalysis | | |
| Analyze Home Marking | PNAnalysis | | |
| Analyze Liveness | PNAnalysis | | |
| Analyze Liveness with Sequences | PNAnalysis | | |
| Analyze Structural Property of Petri net | PNAnalysis | | |
| And event classifier | | Plugins | B.F. van Dongen |
| Basic event classifier | | Plugins | B.F. van Dongen |
| BPEL export | BPEL | | |
| BPEL visualization | BPEL | | |
| BPM 2010 release | BPM2010 | | |
| CFG export | | Plugins | H.M.W. Verbeek |
| Construct Basis of Semi-Positive Place Invariants | PNAnalysis | | |
| Construct Basis of Semi-Positive Transition Invariants | PNAnalysis | | |
| Construct Log Relations | LogAbstractions | | |
| Convert to Inhibitor-net | | Models | B.F. van Dongen |
| Convert to Reset/Inhibitor-net | | Models | B.F. van Dongen |
| Convert to Reset-net | | Models | B.F. van Dongen |
| Day Abstraction Log Editor | | Plugins | H.M.W. Verbeek |
| Declare Miner | DeclareMiner | | |
| Declare Miner Visualization | DeclareMiner | | |
| Declare to LTL | DeclareMiner | | |
| Default Log Filter | | Plugins | H.M.W. Verbeek |
| Dotted Chart Analysis | DottedChart | | |
| Dotted Chart Visualization | DottedChart | | |
| Duplicate Event Log Filter | | Plugins | B.F. van Dongen |
| EPC to Configurable EPC | | Models | B.F. van Dongen |
| EPNML export (Petri net) | PNMLImportExport | | |
| ETCAnalysisResults visualizer | ETConformance | | |
| ETConformance | ETConformance | | |
| Event Log Filter | | Plugins | H.M.W. Verbeek |
| Export Declare Models | DeclareMiner | | |
| Export Log to compressed MXML File | | Plugins | H.M.W. Verbeek |
| Export Log to compressed XES File | | Plugins | H.M.W. Verbeek |
| Export Log to MXML File | | Plugins | H.M.W. Verbeek |
| Export Log to XES File | | Plugins | H.M.W. Verbeek |
| Export LTL Models | DeclareMiner | | |
| Final Event Log Filter | | Plugins | H.M.W. Verbeek |
| Find Dead Transition | PNAnalysis | | |
| Fitness | PetriNetReplayer | | |
| Fitness | PetriNetReplayer | | |
| Fitness | PetriNetReplayer | | |
| Fitness Visualizer | PetriNetReplayer | | |
| Flexible Heuristics Miner | HeuristicsMiner | | |
| Fuzzy Miner | Fuzzy | | |
| Fuzzy Model visualization | Fuzzy | | |
| Genet (k-bounded synthesis/mining) | TSPetrinet | | |
| Genetic Miner | GeneticMiner | | |
| Genetic Miner | GeneticMiner | | |
| GER Extractor | TSPetrinet | | |
| Guide Tree Miner | GuideTreeMiner | | |
| Heuristics Miner | HeuristicsMiner | | |
| Identify Minimal Siphons | PNAnalysis | | |
| Identify Minimal Traps | PNAnalysis | | |
| Identify P-T Handles | PNAnalysis | | |
| Identify S-Components | PNAnalysis | | |
| Identify T-Components | PNAnalysis | | |
| Identify T-P Handles | PNAnalysis | | |
| ILP Miner 2 | ILPMiner | | |
| Import BPMN model from XPDL 2.1 file | XPDLImportExport | | |
| Import C-EPC from EPML file | EPMLImportExport | | |
| Import Declare Model | DeclareMiner | | |
| Import Inhibitor net from PNML file | PNMLImportExport | | |
| Import LoLA coverability graph from LoLA cover file | | Plugins | H.M.W. Verbeek |
| Import LTL Model | LTLChecker | | |
| Import Open net from PNML file | PNMLImportExport | | |
| Import Petri net from CFG file | | Plugins | H.M.W. Verbeek |
| Import Petri net from COSA file | COSAImportExport | | |
| Import Petri net from PNML file | PNMLImportExport | | |
| Import Reset net from PNML file | PNMLImportExport | | |
| Import Reset/Inhibitor net from PNML file | PNMLImportExport | | |
| Import Template | DeclareMiner | | |
| Import Transition system from TSML file | TSMLImportExport | | |
| Inhibitor Semantics Provider | | Models | B.F. van Dongen |
| Initial Marking Connection Factory | | Models | B.F. van Dongen |
| Inputs for Workload Plugin | Workload | | |
| instance EPC to Configurable EPC | | Models | B.F. van Dongen |
| instance EPC to EPC | | Models | B.F. van Dongen |
| Log flexible model connection factory | | Models | A. Adriansyah |
| Log SPD Connection Factory | | Models | A. Adriansyah |
| Log Summary | LogDialog | | |
| Log visualizer | | Plugins | B.F. van Dongen |
| Log visualizer | LogInsertStart | | |
| Log/Petrinet connection factory | | Plugins | J. Munoz |
| LoLA: A Low-Level Petri Net Analyzer | ServiceTech | | |
| LTL Checker | LTLChecker | | |
| LTL Checker Visualization | LTLChecker | | |
| Mine SPD model | SPDiagram | | |
| Mined TS visualization | TSMiner | | |
| Minimal Region Extractor | TSPetrinet | | |
| Open Petrify .g file | Petrify | | |
| Open Petrify .sg file | Petrify | | |
| Open TPN file | TPNImportExport | | |
| Open XES Log File | | Plugins | B.F. van Dongen |
| Open XPDL 2.0 File | BPMN | | |
| Operational Support Annotation Provider | TSAnalyzer | | |
| Operational Support Service | | Plugins | M. Westergaard |
| Operational Support Service Manager | | Plugins | M. Westergaard |
| Originator Log Filter | | Plugins | B.F. van Dongen |
| Pattern Abstraction Frame Visualization | Abstractions | | |
| Pattern Abstractions | Abstractions | | |
| Petrinet net to Coverability Graph | PNAnalysis | | |
| Petrinet net to Reachability Graph | PNAnalysis | | |
| Petrinet reduction on marked Petri net | Murata | | |
| Petrinet Semantics Provider | | Models | B.F. van Dongen |
| PNML export | TestBed | | |
| PNML export (Petri net) | PNMLImportExport | | |
| PomPom | PomPom | | |
| Region Visualizer | TSPetrinet | | |
| Replay Log in Simple Precedence Diagram (SPD) | PerfMeasurement | | |
| Report visualization | TestBed | | |
| Reset/Inhibitor net Selection Visualization | | Plugins | B.F. van Dongen |
| ResetInhibitor Net Semantics Provider | | Models | B.F. van Dongen |
| ResetNet Semantics Provider | | Models | B.F. van Dongen |
| Save Petrify file to .sg file | Petrify | | |
| Signature Discovery | SignatureDiscovery | | |
| Simple log filter | SimpleLogFilter | | |
| Social Network (HoW) miner | SocialNetwork | | |
| Social Network (RA) miner | SocialNetwork | | |
| Social Network (SC) miner | SocialNetwork | | |
| Social Network (ST) miner | SocialNetwork | | |
| Social Network (WT) miner | SocialNetwork | | |
| Start and Accept State Searcher | | Models | B.F. van Dongen |
| Start Event Log Filter | | Plugins | H.M.W. Verbeek |
| String Visualizer | | Plugins | B.F. van Dongen |
| TestBed | TestBed | | |
| TestBed Lite | TestBed | | |
| Trace Alignment | TraceAlignment | | |
| Trace Alignment Frame Visualization | TraceAlignment | | |
| Transition Fitness Visualizer | ILPMiner | | |
| Transition system analyzer | TSAnalyzer | | |
| Transition system annotation visualization | TSAnalyzer | | |
| Transition system convertor | TSMiner | | |
| Transition system miner | TSMiner | | |
| Transition System to Petrinet | TSPetrinet | | |
| Transition system visualization | | Plugins | H.M.W. Verbeek |
| TSML export (Transition system) | TSMLImportExport | | |
| Uma: an Unfolding-based Model Analyzer | PNUnfolding | | |
| Unfold Petri net to its bounded finite prefix | PNUnfolding | | |
| Visualize Aggregated Activities Performance Diagram (AAPD) | AAPDiagram | | |
| Visualize Aggregated Coverability Graph | PNAnalysis | | |
| Visualize Aggregated Transition System Graph | PNAnalysis | | |
| Visualize BPMN | BPMN | | |
| Visualize EPC | | Plugins | B.F. van Dongen |
| Visualize Fuzzy Performance Diagram (FPD) | Performance | | |
| Visualize Global Settings Data | PerfMeasurement | | |
| Visualize HeuristicsNet | HeuristicsMiner | | |
| Visualize HeuristicsNet Array | HeuristicsMiner | | |
| Visualize HeuristicsNet with Annotations | HeuristicsMiner | | |
| Visualize HeuristicsNet with Semantics Split/Joing POints | HeuristicsMiner | | |
| Visualize HTML text | | Contexts | H.M.W. Verbeek |
| Visualize Petri net | | Plugins | A. Adriansyah |
| Visualize Petri net Behavioral Analysis | PNAnalysis | | |
| Visualize Petri net Structural Analysis | PNAnalysis | | |
| Visualize PomPom View | PomPom | | |
| Visualize Resource Analysis | Workload | | |
| Visualize Simple Precedence Diagram (SPD) | SPDiagram | | |
| Visualize Social Network | SocialNetwork | | |
| Week Abstraction Log Editor | | Plugins | H.M.W. Verbeek |
| Wendy: Synthesizing Partners for Services | ServiceTech | | |
| Woflan | Woflan | | |
| Workload Analysis | Workload | | |
