6/20/2011 The AllPackages package is a meta -package that depends on all other packages that are contained in the ProM 6.1 release. As a result, after having installed the AllPackages package, all packages of the ProM 6.1 release have been installed as well.
AllPackages H. M. W. V E R B E E K PACKAGES Requires AlphaMiner Animation AProMore BPMN Clustering ConceptDrift COSAImportExport Cosimulation CPNet CTLStar Declare DeclareMiner DottedChart EPC EPCConversion ETConformance Flex Fuzzy GeneticMiner Grid GuideTreeMiner HeuristicsMiner ILPMiner InteractiveVisualization KeyValue Abstractions Dialog Merge Metrics TimeFrame LpSolve LTLChecker Murata OperationalSupport OSService PatternAbstractions Performance Petrify PetriNetReplayer PomPomView Replayer RuntimeLTLChecker ServiceTech SignatureDiscovery SocialNetwork TestBed TraceAlignmentWithGu idetree TransitionSystems TSPetrinet Uma Widgets Woflan XQueryProvider YAWLReplay Please note that the AllPackages package does not depend compile-time or run-time to these packages. The only reason for having these dependencies is to have all other packages installed whenever this package is installed. Required by N/ Page 1
PLUG-INS Show Package Overview SHOW PACKAGE OVERVIEW PLUG-IN Starting the Show Package Overview plug-in Select Start (no inputs are required). Page 1
Note that at the moment of writing, the list of installed packages (see Appendix A) and the list of installed plug-ins (see Appendix B) have not been determined yet. Therefore, these lists shown here might not be accurate. Page 2
VERSIONS 6.1.29 Prerelease 6.1 Added support for Visualizers and Import/Export plug-ins. 6.1.28 Fixed bug (package name instead of author name). 6.1.27 Also now gives authors for plug-in s. 6.1.26 Added support for UITopiaVariant methods. 6.1.25 Now also outputs the UITopiaVariant uilabel, when available. 6.1.24 Now also shows the package a plug-in resides in, if applicable. 6.1.21 Removed dependency from AllPackages to CPlex, as the CPlex package does not exist (yet) for linux. 6.1.20 Moved package name to new 'pack' annotation field. 6.1.19 Added package name to plug-in name(s). 6.1.18 Changed name of plug-in (to start with a verb). Updated list of packages. Merge package still needs to arrive (Jan Claes). 6.1.15 Added dependency to Animation to AllPackages. 6.1.14 Removed OSEmbedder from AllPackages (does not compile yet). 6.1.13 Added new packages to AllPackages. 6.1.11 Changed base url to http://www.promtools.org/prom6/packages in package and ini files. 6.1.10 Added env to build.xml file. 6.1.9 Updated BUILD_NUMBER to env.build_number. 6.1.8 Trying to use Hudson's ${BUILD_NUMBER} in the build.xml file. 6.1.3 Fixed build.xml for AllPackages once more. 6.1.2 Fixed build.xml for AllPackages. Page 3
APPENDIX A: INSTALLED PACKAGES Package Dependency Author PetriNetReplayer 6.1.46 Dialog BPMN 6.1.32 Fuzzy 6.1.66 C.W. Gunther and J.F. Li Animation Abstractions 6.1.55 Animation DottedChart 6.1.34 6.1.35 and C.W. Guenther S. Song ETConformance J. Munoz-Gama 6.1.53 LpSolve TransitionSystems Performance 6.1.34 HeuristicsMiner J. Ribeiro 6.1.64 Flex BPMN ServiceTech Page 4
GeneticMiner AllPackages TransitionSystems HeuristicsMiner Abstractions BPMN Flex RuntimeLTLChecker DottedChart SignatureDiscovery PomPomView BPMN Replayer CPNet GeneticMiner PetriNetReplayer Petrify Fuzzy SocialNetwork Metrics Animation OperationalSupport Murata Merge OSService TSPetrinet Cosimulation HeuristicsMiner LpSolve TransitionSystems Woflan 6.1.46 6.1.44 6.1.29 C.C. Bratosin Page 5
YAWLReplay Widgets YAWLReplay ILPMiner InteractiveVisualization EPC AlphaMiner EPCConversion COSAImportExport Widgets LTLChecker Declare DeclareMiner Grid PatternAbstractions Performance TestBed GuideTreeMiner Abstractions XQueryProvider CTLStar Uma ServiceTech Dialog TimeFrame KeyValue ETConformance TraceAlignmentWithGuideTree AProMore Clustering ConceptDrift 6.1.58 Flex Performance 6.1.27 Michael Page 6
Abstractions Woflan ConceptDrift XQueryProvider SignatureDiscovery SocialNetwork AProMore OperationalSupport AlphaMiner PomPomView OperationalSupport Flex Dialog Replayer EPC Widgets Abstractions EPCConversion 6.1.35 6.1.40 6.1.9 6.1.22 6.1.32 6.1.34 6.2.79 6.1.65 6.1.66 6.1.46 J.C. Bose J.C. Bose S. Song Page 7
EPCConversion CPNet RuntimeLTLChecker Flex Murata LpSolve InteractiveVisualization Dialog Uma CTLStar Murata EPC Murata EPC Widgets Declare OperationalSupport Dialog Performance InteractiveVisualization TransitionSystems 6.1.41 6.1.39 6.1.48 6.2.116 6.1.42 5.5.0.15 6.1.17 6.1.48 6.1.77 6.1.43 F. Maggi Keikland,LpSolve,peno64 Danny van Heumen D. Fahland N. Trcka Page 8
6.1.55 TransitionSystems GuideTreeMiner J.C. Bose 6.1.33 ILPMiner 6.1.47 LpSolve Abstractions Declare 6.1.65 TransitionSystems Widgets EPC 6.1.32 Metrics P.J. van Heumen 6.1.46 TransitionSystems Replayer 6.1.148 Flex HeuristicsMiner Dialog YAWLReplay Widgets PatternAbstractions J.C. Bose 6.1.11 LTLChecker F. Maggi Page 9
Merge Clustering Grid Petrify TransitionSystems KeyValue COSAImportExport TestBed TSPetrinet GeneticMiner GeneticMiner HeuristicsMiner Abstractions TransitionSystems Animation OSService Widgets Murata TransitionSystems Woflan TransitionSystems 6.1.42 6.1.5 6.1.36 6.1.37 6.1.46 6.1.62 6.1.4 6.1.37 6.1.43 6.1.48 Jan Claes C.C. Bratosin C.C. Bratosin Michael Z. Liu Page 10
TimeFrame OSService Cosimulation TraceAlignmentWithGuideTree DeclareMiner Petrify TransitionSystems Widgets CPNet GuideTreeMiner LTLChecker Declare 6.1.33 6.1.34 6.1.49 6.1.39 6.1.9 6.1.50 J.C. Bose F. Maggi Page 11
APPENDIX B: AVAILABLE PLUG-INS name UITopia UITopia name Package name Author name C.W. Gunther (1) Show Fuzzy Model Visualizer Use Plugin Name Fuzzy and J.F. Li (2) Show (Default) Fuzzy Instance (3) Show Fuzzy Unary Metrics (4) Show Fuzzy Binary Metrics Add Artificial End Event Filter Visualizer Use Plugin Name Fuzzy Visualizer Use Plugin Name Fuzzy Visualizer Use Plugin Name Fuzzy C.W. Gunther and J.F. Li C.W. Gunther and J.F. Li C.W. Gunther and J.F. Li Add Artificial Events Use Plugin Name Merge J. Claes Add Artificial Events Use Plugin Name Merge J. Claes Add Artificial Start Event Filter Add Missing Events Alignment Tree Visualization Alpha Miner Analyze Behavioral Property of Petri net Analyze Boundedness Analyze Boundedness with LoLA Analyze Free Choice property and Extended Free Choice Analyze Home Marking Analyze Liveness Analyze Liveness with Sequences Analyze Model Using Uma Use Plugin Name J. Nakatumba Visualizer Use Plugin Name TraceAlignmentWithGuideTree J.C. Bose Mine for a Petri Net using Alphaalgorithm AlphaMiner Use Plugin Name Use Plugin Name Uma ServiceTech D. Fahland Page 12
Analyze Model Using Uma Analyze relaxed soundness Analyze Structural Property of Petri net Analyze Transition System Analyze with Woflan And event classifier Animate Event in Fuzzy Instance Animate Transition System Artificial Immune System Merger Artificial Immune System Merger Automaton To Transition System Basic event classifier Use Plugin Name Uma Use Plugin Name Use Plugin Name TransitionSystems Use Plugin Name Woflan Use Plugin Name Fuzzy Use Plugin Name TransitionSystems Merge two Event s using AIS algorithm Merge two Event s using AIS algorithm Merge Merge Use Plugin Name Declare D. Fahland Pesic H. H. J. Claes J. Claes Calculate Meta Data Use Plugin Name Metrics Erik Nooijen Calculate Meta Data Use Plugin Name Metrics Erik Nooijen CFG export Export CFG export ServiceTech Check soundness of Arya Use Plugin Name Replayer Causal net Completeness: 10-fold P.J. van Metrics cross-validation Heumen Complexity: CG P.J. van Metrics Complexity Heumen Composed Declare Generator Use Plugin Name RuntimeLTLChecker F. Maggi Concept Drift Use Plugin Name ConceptDrift R.P. Page 13
Concept Drift Visualization Visualizer Use Plugin Name ConceptDrift Concept Meta Data Calculation Metrics Configure visibility of transitions Use Plugin Name Replayer Conjunction To Automaton Use Plugin Name Declare Construct Basis of Semi- Positive Place Ins Construct Basis of Semi- Positive Transition Ins Construct causal net from another causal net for Replayer replay Construct causal net from another causal net with cancellation region for Replayer replay Construct codec of Causal net Replayer Construct Coverability Graph of a Petri Net Use Plugin Name Construct Relations Construct Reachability Graph of a Petri Net Construct Reachability Graph of a Petri Net Convert Causal Net to CPF Model Convert Causal Net to CPF Model Convert Causal Net to Petri Net Convert CPF Model to Causal Net Abstractions Use Plugin Name Use Plugin Name Jagadeesh Chandra 'JC' Bose J.C. Bose P.J. van Heumen Arya Use Plugin Name AProMore hvnguyen Use Plugin Name AProMore Use Plugin Name Replayer hvnguyen Use Plugin Name AProMore hvnguyen Convert CPF Model to Use Plugin Name AProMore hvnguyen Page 14
Causal Net Convert EPC to CPF Model Convert EPC to CPF Model Convert EPC to Petri Net Convert Heuristics net into Flexible model Convert Heuristics net into Petri net Convert Key/Value Set to Convert to Key/Value Set Convert Petri Net to Causal Net Convert Petri Net to CPF Model Convert Petri Net to CPF Model Convert to Inhibitor-net Convert to Reset-net Convert to Reset/Inhibitor-net Convert YAWL Model to Causal Net Convert YAWL to CPF Model Convert YAWL to CPF Model Cosimulate CPN Model with ProM plugins Cosimulate CPN Model with ProM plugins Use Plugin Name AProMore hvnguyen Use Plugin Name AProMore Use Plugin Name EPCConversion Use Plugin Name HeuristicsMiner Use Plugin Name HeuristicsMiner Use Plugin Name KeyValue Use Plugin Name KeyValue Use Plugin Name Replayer hvnguyen J.T.S. Ribeiro J.T.S. Ribeiro Use Plugin Name AProMore hvnguyen Use Plugin Name AProMore Use Plugin Name Replayer hvnguyen Use Plugin Name AProMore hvnguyen Use Plugin Name AProMore Cosimulate CPN Model with ProM plugins Cosimulate CPN Model with ProM plugins Cosimulation Cosimulation CPF export Export CPF export AProMore hvnguyen Page 15
CPN Tools File Import CPN Tools File KeyValue CPN Tools Model Import CPN Tools Model CPNet CPN XES File Import CPN XES File KeyValue CSV File Import CSV File KeyValue CTL* Formula File Visualizer CTL* Model Checker CTL* Result Report Visualizer Day Abstraction Editor Declare Composer Declare Miner Declare Miner Declare Miner Visualization Declare Monitor Declare to LTL Declare Weighter Default Filter Dependency Based Cluster Dependency Matrices Output Dependency Matrices Output Dotted Chart Analysis Visualizer Use Plugin Name CTLStar Check CTL* Model on Petri Net CTLStar Visualizer Use Plugin Name CTLStar Use Plugin Name RuntimeLTLChecker Declare Miner Default DeclareMiner Use Plugin Name DeclareMiner Visualizer Use Plugin Name Declare Michael Michael Michael N. Trcka N. Trcka N. Trcka F. Maggi F. Maggi F. Maggi Declare Monitor RuntimeLTLChecker F. Maggi Use Plugin Name Declare Use Plugin Name RuntimeLTLChecker Clustering F. Maggi C.C. Bratosin Count Grid C.C. Bratosin Footprint Grid C.C. Bratosin Analyze using Dotted Chart DottedChart S. Song Page 16
Dotted Chart Analysis Dotted Chart Visualization Drunken Monkey Dummy Meta Data Calculation Duplicate Event Filter EPC to Configurable EPC Visualizer EPNML export (Petri net) Export ETConformance ETCResults Visualizer Event Filter Example Provider Export as Causal Net (.cnet) Export as Causal Net extended with cancelation region (.cnetc) Export Declare Models Export Declare Models Export to compressed MXML File Export to compressed MXML File Export to compressed XES File Analyze using Dotted Chart Dotted Chart Visualization DottedChart DottedChart Use Plugin Name OperationalSupport EPNML export (Petri net) Check Conformance using ETConformance Metrics EPC ETConformance Visualizer Use Plugin Name ETConformance Export Export Export Export Export Use Plugin Name OSService Export as Causal Net (.cnet) Export as Causal Net extended with cancelation region (.cnetc) Export Declare Models Flex Flex Declare Use Plugin Name Declare Export to compressed MXML File Use Plugin Name Export to compressed XES File S. Song S. Song P.J. van Heumen J.Munoz- Gama & J.Carmona J. Munoz- Gama H. Schonenberg F. Maggi H.W Page 17
Export to compressed XES File Export to MXML File Export to MXML File Export to XES File Export to XES File Filter using Simple Heuristics Final Event Filter Find Dead Transition Export Export Use Plugin Name Export to MXML File Use Plugin Name Export to XES File Use Plugin Name Use Plugin Name Fitness Compute Fitness PetriNetReplayer Fitness Fitness [PetriNetReplayer] Fitness [PetriNetReplayer] Fitness Visualizer Flexible Heuristics Miner Formula To Automaton Formula To Automaton General Meta Data Calculation Generate PN, Causal Net, BPMN, EPC #1 Generate referencing test object Compute Fitness PetriNetReplayer PetriNetReplayer PetriNetReplayer Visualizer Use Plugin Name PetriNetReplayer Use Plugin Name HeuristicsMiner Use Plugin Name Declare Use Plugin Name Declare Metrics Use Plugin Name Replayer Use Plugin Name H.W H.W H.W T. Yuliani and T. Yuliani and J. Weijters P.J. van Heumen Generate referencing test Use Plugin Name Page 18
object Generate serialization test Use Plugin Name object Generate serialization test Use Plugin Name object Generate serialization updating object Generate serialization updating object Genet (k-bounded synthesis/mining) Genetic Miner Genetic Miner Genetic Miner a Selfadaptive DGM Experiment Use Plugin Name Use Plugin Name Sample based Genetic Miner Genetic Miner - from initial population Selfadaptive Genetic Miner TSPetrinet GeneticMiner GeneticMiner Grid C.C. Bratosin K. Alves de Medeiros, C.C. Bratosin Rui Zhao Genetic Miner Island Grid C.C. Bratosin Genetic Miner Master Grid C.C. Bratosin GER Extractor TSPetrinet Guide Tree Miner Use Plugin Name GuideTreeMiner Guide Tree Visualization Visualizer Use Plugin Name GuideTreeMiner Heuristics Miner Use Plugin Name HeuristicsMiner Identify Minimal Siphons Identify Minimal Traps Identify P-T Handles Identify S-Components Identify T-Components Identify T-P Handles R.P. Jagadeesh Chandra 'JC' Bose J.C. Bose J. Weijters Page 19
Mine for a Petri T. van der ILP Miner ILPMiner Net using ILP Wiel Import BPMN Import BPMN model Import model from BPMN from XPDL 2.1 file XPDL 2.1 file Import C-EPC from Import C-EPC Import EPC EPML file from EPML file Import CPF from Import CPF from CPF file Import AProMore CPF file Import Declare Import Declare Language Import Declare Language Import Declare Import Declare Model Import Declare Model Import Inhibitor Import Inhibitor net from Import net from PNML PNML file file Import LoLA Import LoLA coverability coverability graph graph from LoLA cover Import ServiceTech from LoLA cover file file Import LTL Import LTL Model Import LTLChecker F. Maggi Model Import Open net from Import Open net Import PNML file from PNML file Import Petri net from CFG Import Petri net Import ServiceTech file from CFG file Import Petri net from Import Petri net Import COSAImportExport COSA file from COSA file Import Petri net from Import Petri net Import PNML file from PNML file Import Reset net from Import Reset net Import PNML file from PNML file Import Import Reset/Inhibitor net Import Reset/Inhibitor net from PNML file from PNML file Import Transition Import Transition system Import system from TransitionSystems from TSML file TSML file Inhibitor Semantics Provider Initial Marking Page 20
Connection Factory instance EPC to Configurable EPC instance EPC to EPC Iterative Genetic Miner Island Iterative Genetic Miner Master Lifecycle Meta Data Calculation Load CPN Model from CPN Tools causal net connection factory SPD Connection Factory Summary Visualizer EPC EPC Grid C.C. Bratosin D_iGMA Grid C.C. Bratosin Load CPN Model from CPN Tools Metrics CPNet Replayer Performance Visualizer using provided log Dialog info Summary Visualizer Visualizer Dialog Timeframe Filter Transition visualizer yawl net connection factory /Petrinet connection factory LoLA: A Low-Level Petri Net Analyzer LoLA: A Low-Level Petri Net Analyzer Filter on Timeframe Visualizer Use Plugin Name TimeFrame Cosimulation YAWLReplay P.J. van Heumen T. van der Wiel K. Wolf and N. Lohmann K. Wolf and N. Lohmann Analyze Petri Net ServiceTech using LoLA Analyze Petri Net ServiceTech using LoLA LTL Checker LTL Checker LTLChecker F. Maggi LTL Checker LTL Checker LTLChecker F. Maggi Default LTL Checker Visualizer Use Plugin Name LTLChecker F. Maggi Page 21
Visualization LTL To Automaton LTL To Conjuction LTL To Conjuction Mine Fuzzy Model Mine Heuristic Net using Genetic Miner Use Plugin Name Declare Use Plugin Name Declare Use Plugin Name Declare Mine for a Fuzzy Model Mine Heuristic Net using Genetic Miner Fuzzy GeneticMiner K. Alves de Medeiros Mine SPD Model Use Plugin Name Performance Mine Transition System Use Plugin Name TransitionSystems Minimal Region Extractor TSPetrinet Mollify Transition System TransitionSystems Monitor Transition Cosimulation Open CNet file Import Open CNet file Flex Open CNet file Import Open CNet file Flex Open CTL* Formula File Import Open CTL* Formula File CTLStar N. Trcka Open Petri Net With Data Open Petri Net Import File With Data File CTLStar N. Trcka Open Petrify.g file Import Open Petrify.g Petrify file Open Petrify.sg file Import Open Petrify.sg Petrify file Open PNML file Import Open PNML file TestBed Z. Liu Open TPN file Import Open TPN file Open XES File Import Open XES File Open XES File Open XES Import (Buffered) File (Buffered) Page 22
Open XES File (Naive) Open XPDL 2.0 File Operational Support 2.0 Operational Support Annotation Provider Operational Support Service Operational Support Service Manager Organizational Meta Data Calculation Originator Filter Partial Visualize Case Replay Result Pattern Abstractions (New) Petri Net With Data Unfolding to a Petri Net Petrify export (sg file) Petrinet Semantics Provider Import Import Open XES File (Naive) Open XPDL 2.0 File BPMN Use Plugin Name OperationalSupport Use Plugin Name TransitionSystems Use Plugin Name OSService OSService Metrics Visualizer Use Plugin Name Replayer Visualizer Use Plugin Name PatternAbstractions Export Unfold Petri Net with Data to Petri Net Petrify export (sg file) CTLStar Petrify Pesic P.J. van Heumen J.C. Bose N. Trcka PNML export TestBed Z. Liu PNML export (Petri net) Produce AproMore Model Produce AproMore Model 2 Produce AproMore Model 3 Produce Flexible Model for Validation ProM Orchestration Export PNML export (Petri net) AProMore AProMore AProMore AProMore Cosimulation Reduce All Transitions Use Plugin Name Murata H.W Page 23
Reduce All Transitions H.W Use Plugin Name Murata Reduce Silent Transitions Use Plugin Name Murata H.W Reduce Silent Transitions H.W Use Plugin Name Murata Region Visualizer Visualizer Use Plugin Name TSPetrinet Remove edgepoints Use Plugin Name Remove edgepoints Use Plugin Name Rename/Merge Events Use Plugin Name Merge J. Claes Rename/Merge Events Use Plugin Name Merge J. Claes Replay a Case on Causal net for Conformance Analysis Replay a Case on Causal net for Conformance Analysis Replay a Case on CPF Model for Conformance Analysis Replay a Case on CPF Model for Conformance Analysis Replay a Case on Petri Net for Conformance Analysis Replay a Case on Petri Net for Conformance Analysis Replay a on Causal Net for Conformance Analysis Replay a on Causal Net for Performance Analysis Replay a on CPF Model for Conformance Use Plugin Name Replayer Use Plugin Name Replayer Arya Arya Use Plugin Name AProMore HVNguyen Use Plugin Name AProMore Use Plugin Name Replayer Use Plugin Name Replayer Use Plugin Name Replayer Use Plugin Name Replayer Use Plugin Name AProMore HVNguyen Arya Arya Arya Arya hvnguyen Page 24
Analysis Replay a on Petri Net for Conformance Analysis Replay a on YAWL Model for Performance Analysis Replay in Simple Precedence Diagram (SPD) Replay in YAWL net Report and Consume Tokens Use Plugin Name Replayer Use Plugin Name Replayer Use Plugin Name Performance Use Plugin Name YAWLReplay Cosimulation Arya Arya Report visualization Visualizer Use Plugin Name TestBed Z. Liu ResetInhibitor Net Semantics Provider ResetNet Semantics Provider Reverse Use Plugin Name and David Piessens T. van der Wiel Run a Plugin Remotely Grid C.C. Bratosin Select Best Fuzzy Instance Self-Adaptive Genetic Miner Island Select Best Fuzzy Instance Fuzzy Grid C.C. Bratosin Semantical Filter Clustering C.C. Bratosin Show animation Visualizer Use Plugin Name Animation and C.W. Guenther Show Mined Transition System Show Package Overview Visualizer Use Plugin Name TransitionSystems Use Plugin Name AllPackages Show PomPom View Use Plugin Name PomPomView Show PomPom View Show Sequences and Patterns Use Plugin Name PomPomView Visualizer Use Plugin Name Abstractions Page 25
Show Transition System Signature Discovery Signature Discovery Visualization Simple XQuery Checker Simplify Mined Model Using Uma Simplify Mined Model Using Uma Simulate CPN Model Simulate CPN Model Social Network (HoW) miner Social Network (RA) miner Social Network (SC) miner Social Network (ST) miner Social Network (WT) miner Visualizer Use Plugin Name TransitionSystems Use Plugin Name SignatureDiscovery Visualizer Use Plugin Name SignatureDiscovery Use Plugin Name XQueryProvider Use Plugin Name Uma Use Plugin Name Uma Simulate CPN CPNet Model Simulate CPN CPNet Model Mine for a Handover-of- SocialNetwork Work Social Network Mine for a Reassignment SocialNetwork Social Network Mine for a Subcontracting SocialNetwork Social Network Mine for a Similar-Task SocialNetwork Social Network Mine for a Working-Together SocialNetwork Social Network R.P. Jagadeesh Chandra 'JC' Bose J.C. Bose D. Fahland D. Fahland Song Song Song Song Song Start and Accept State TransitionSystems Searcher Start Event Filter String Visualizer Visualizer Use Plugin Name TestBed Use Plugin Name TestBed Z.Liu TestBed Lite Use Plugin Name TestBed Z.Liu Page 26
Time Meta Data P.J. van Metrics Calculation Heumen R.P. Trace Alignment (with Jagadeesh Use Plugin Name TraceAlignmentWithGuideTree Guide Tree) Chandra 'JC' Bose Transform PN to 1- Replayer Initially Marked Place PN TransformHeuristicsNet Grid C.C. Bratosin Transition system annotation visualization Transition System to Petrinet Transition System to Petrinet TSML export (Transition system) Unpack Aggregate Type Unpack Declare Model Unpack LTL Model Unpack LTL Model Visualize Aggregated Activities Performance Diagram (AAPD) Visualize BPMN Visualize c-net and analysis Visualize Case Replay Result (with instance exploration graph) Visualizer Use Plugin Name TransitionSystems Export Convert to Petri Net using Regions TSPetrinet Convert to Petri Net using Regions TSPetrinet TSML export (Transition TransitionSystems system) Use Plugin Name Declare Declare Use Plugin Name Declare Use Plugin Name Declare Visualizer Use Plugin Name Performance Visualizer Use Plugin Name BPMN Visualizer Use Plugin Name Replayer Visualizer Use Plugin Name Replayer Visualize Causal Net Visualizer Use Plugin Name Flex Visualize DGM Visualizer Use Plugin Name Grid C.C. Bratosin Visualize EPC Visualizer Use Plugin Name EPC Page 27
Visualize Fuzzy Performance Diagram (FPD) Visualizer Use Plugin Name Performance Visualize General Model Visualizer Use Plugin Name AProMore Visualize Global Settings Data Visualizer Use Plugin Name Performance Visualize HeuristicsNet Array Visualizer Use Plugin Name GeneticMiner Visualize HeuristicsNet with Annotations Visualizer Use Plugin Name HeuristicsMiner Visualize HeuristicsNet with Semantics Split/Joing Visualizer Use Plugin Name HeuristicsMiner POints Visualize HTML text Visualizer Use Plugin Name Visualize Replay Result Visualizer Use Plugin Name Replayer Visualize Replay Result Visualizer Use Plugin Name Replayer Visualize Operational Support Service Visualizer Use Plugin Name OperationalSupport Visualize Petri net Visualizer Use Plugin Name Visualize PomPom View Visualizer Use Plugin Name PomPomView Visualize Simple Precedence Diagram Visualizer Use Plugin Name Performance (SPD) Visualize Social Network Visualizer Use Plugin Name SocialNetwork Visualize YAWL net Visualize YAWL net replay result Week Abstraction Editor Wendy: Synthesizing Partners for Services Wendy: Synthesizing Partners for Services Visualizer Use Plugin Name YAWLReplay Visualizer Use Plugin Name YAWLReplay Synthesize Partner using Wendy Synthesize Partner using Wendy ServiceTech ServiceTech C.C. Bratosin J. Ribeiro J. Ribeiro S. Song N. Lohmann and D. Weinberg N. Lohmann and K. Wolf Page 28
YAWL specification Import YAWL specification YAWLReplay Page 29