1. Boudewijn van Dongen April 27, 2005 The ProM-framework A framework for integrating process mining tools

2. Current framework architecture

3. Under construction - Conformance checking - Genetic fitness measurements - Support for aggregation of runs - New version of Petri net Analysis (i.e. invariants, reachability, coverability) - Implementation of Thumb - (Command line utils for LaQuSo)

4. Missing functionality - Import / Export to Aris AML - Import / Export to EPC-tools - Support for yawl models - Interface with CPN-tools - PNML V1.0 - Filtering/customizing the Log file (80/20 rules…) - Automatic grid computing - Generating logs with CPN tools - Simple performance measurements – plugins (model dependent / independent)

5. Applications - EPC Verification: ING Bank / SAP Reference models - LTL Checker: Rijkswaterstaat - Case Data Extraction: Rijkswaterstaat - PPM-export: Master students - Target application areas (like health care) with artificial problems, and try to get “real-world” data by interesting people for the applicability - Write industrial papers for industrial tracks at conferences

6. Advertising Ideas to get the people to use the ProM framework. - Presentation at Conferences (ATPN, CAiSE, ER, …) - Writing a good manual - Get people to visit www.processmining.org - Import logs everybody has (Windows event log, browser history,…) - Make a “easy to start with” version for 1 min, 5 min and 1 hour investments

7. Should be changed to 0..* Technical issues Current situation with respect to support for “duplicate tasks”: Changes imply that no search can be made from ATE to Modelling Object Should be changed to 1..*