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 | | |