ProM 6 package docs A AllPackages Animation B BPMN C CNetReplayer COSAImportExport D DeclareMiner DivideAndConquer E EPC EPCConversion ETConformance F FeaturePrediction Fuzzy G GeneticMiner GuideTreeMiner H HeuristicsMiner I ILPMiner InductiveMiner L Log LogAbstractions LogDialog LTLChecker M MoBuConLTL Murata P PartialOrderReplayer Passage PatternAbstractions Petra Petrify PetriNetReplayer PNAnalysis PNetAlignmentAnalysis PNetReplayer PomPomView ProcessTree Properties PTMerge S ServiceTech SignatureDiscovery T TestBed TraceAlignment TransitionSystems W Woflan Y YAWL YAWLReplay