Online Conformance Checking for Petri Nets and Event Streams
|
|
- Avice Williams
- 5 years ago
- Views:
Transcription
1 Online Conformance Checking for Petri Nets and Event Streams Andrea Burattin University of Innsbruck, Austria; Technical University of Denmark, Denmark Abstract. Within process mining, we can identify conformance checking as the task of computing the extent to which executions of a process model are in line with the reference behavior. Most approaches currently available in the literature (for imperative models, such as Petri nets) perform just a-posteriori analyses. This means that the amount of nonconformant behavior is quantified after the completion of the current execution. The tool presented in this paper, instead, proposes an approach for online conformance checking: not only it is capable of quantifying the deviating behavior on the fly, but the computation complexity is also restricted to a constant complexity per event analyzed. This enables the online analysis of an infinite stream of events. The tool is implemented as a package of the ProM framework and promising results have been obtained and are presented in this paper. Keywords: online process mining, conformance checking, event stream. 1 Introduction The analysis of data referring to business process is typically referred to as process mining [1]. This academic and industrial research topic achieved important reputation as an e ective way of extracting knowledge out of event logs. In process mining, it is possible to identify several subproblems, such as controlflow discovery, conformance checking and extension. The work presented in this paper belongs to the conformance checking domain as it requires, as input, a reference process model and execution traces and computes the extent to which the performed actions actually conform the given model. The most popular conformance checking techniques currently available in the literature [6] require a whole trace (i.e., a complete trace) in order to compute corresponding conformance value. Such requirement, from a business point of view, represents a limitation since it is necessary to wait the process instance to complete before computing its actual conformance. The technique presented in this paper, instead, drops such requirement and allows the computation of conformance values for running process instances. As a consequence, if a deviation is observed the system can immediately notify the process owner who can enact proper countermeasures. When several of such deviations are occurring within the same process instance, then corresponding seriousness value is increased, thus providing filtering techniques to the administrator (e.g., to first focus on
2 Reference Model (as Petri net) Deviation costs Deviations Extender Petri net to OCTS - Online Conformance Events stream Conformance checker Fig. 1: Components of the online conformance checking ProM plugin. Gray boxes represent ProM plugins, white boxes represent intermediate objects, item with no border represent input elements. most critical instances). [7] proposes a RESTful service for conformance checking, performing token replay with at pull mechanism. The approach, however, provides no constant time/memory boundaries. Please note that, in the context of this work, with the term online we refer to the type of input of our technique: we assume to have an event stream which, basically, is a data stream of events. The implemented components of the tool presented in this paper are reported in Fig. 1. The inputs of the first component (which is Deviations Extender ) consist of a reference model and some conformance parameters (i.e., costs for specific types of deviations). Internally, this component converts the Petri net into a transition system which is then extended with additional connections in order to create an OCTS (i.e., an Online Conformance Transition System ). This is then used by the actual conformance checker to validate the event stream provided as additional input in a later stage. 2 Online conformance checking In this paper we would like not to stress the actual online conformance checking technique, which is described in details in [4]. Instead, we just want to sketch the general idea behind the approach. The fundamental idea is that, given a process model, the system analyzes an event stream, to discover and notify the use about process instances deviating from the expected behavior (which is reported in the model). This tool assumes the model to be represented using Petri net. Standard approaches for conformance checking on Petri nets compute the optimal alignment between an observed trace and the most similar trace allowed by the model. However, when moving into the online scenario, due to the strictness of the rules applied, we know in advance the impossibility to achieve the same goal (i.e., find the optimal alignment). This is due to the lack of time available for backtracking operations
3 while analyzing an event of the stream (in online context just constant time operations are allowed for each event processed). To solve this issue, we devised a two-step approach. Before starting the actual procedure, we convert the Petri net into a transition system. To do that we decided to generate the coverability graph. 1 By restricting ourselves to bounded Petri nets, the coverability graph corresponds to the reachability graph. Given such transition system, we extend it with several arcs, in order to allow the execution of every possible activity from each state. The newly introduced arcs (i.e., arcs dealing with behavior not available in the original model) are associated with a cost larger than 0. The details regarding the actual policy on how to extend the set of arcs are reported in [4]. All the operations described so far are executed before the online analysis (i.e., o ine ), when the computational complexity is not an issue yet. The resulting model, called Online Conformance (OCTS), is used for the second phase, which is the actual online conformance checking. In this case, each event is replayed on top of the OCTS and the costs of the executed arc is summed to the total cost of the running process instance. Traces with cost 0 have no deviations, whereas traces with cost larger than 0 must contain deviations. The entire approach is implemented in two ProM plugins 2. The first plugin is in charge of extending a transition system with all possible deviations. This is a straight implementation of the technique described in [4], which actually leverages the plugins already available for the creation of coverability graphs. The second plugin, instead, is in charge of the actual online conformance. The event stream is assumed to come from a TCP/IP connection, where each event is actually a small event log with one trace containing the actual event. This approach is common for online process mining techniques as reported in [2, 5]. The plugin itself is actually composed of two parts. The first is a dashboard, depicted in Fig. 2. Such dashboard allows to immediately grasp what is happening in the system right now and in the recent past. It is composed of two parts: on the left-hand side running process instances are listed. They are also color-coded by severity (i.e., cost) and can be sorted based on the update time (most recently updated) or by severity (process instances with most errors) to provide a snapshot of the problematic process instances. Double clicking each instance opens a new tab, with the details of the trace (e.g., deviations). The right-hand side of the dashboard panel contains some status charts with general information, such as the evolution of number of errors observed every 5 seconds (on top), the evolution of number of events per second (in the middle), the number of traces currently in memory (bottom left), and the memory consumption of the plugin (bottom right). The second component, depicted in Fig. 3, reports 1 The coverability graph, actually, does not represent a good transition system for conformance purposes, as it allows more behavior with respect to the original Petri nets. Therefore, in this paper, we assume that the given Petri net is bounded. This assumption is typically fulfilled in many real-world applications. 2 The implementation is available at public-files/online-conformance/source.zip.
4 Fig. 2: Screenshots of the ProM plugin with the main dashboard depicted Fig. 3: Screenshots of the ProM plugin with the routing of frequent errors the list of the most frequent deviations. By selecting an error, it is possible to see the behavioral model (not the OCTS) with the deviating paths highlighted. A similar visualization is opened when, from the main dashboard, an instance is selected. In this second case, however, only the errors referring to that process instance are reported. In order to analyze the quality of our implementation, we simulated the stream of a process model composed of 26 tasks and 20 gateways, by using PLG2 [3] 3. We then simulated the model producing an unlimited event stream. Additional, we configured PLG to generate about 90 events per second. With such event stream, we tested the capabilities of our conformance checking implementation, by running the conformance checker for more than 1 hour. 3 The BPMN model of the process is available at net/public-files/online-conformance/model.pdf.
5 The results of the experiment 100 are reported in Fig. 4: in total events were generated. 80 The simulator, however, was 70 not able to keep the configured generation pace (we used Events processed a standard o ce laptop machine), and the system stabi- 00:00 00:10 00:20 00:30 00:40 00:50 01:00 01:10 Events generated 40 lized in producing about 65 Stream running time (hh:mm) events per second. As the picture clearly shows, all generated events were processed in time by our prototype with no processing Fig. 4: Events generated vs events processed queuing. Events per second 3 Conclusion This paper presents a tool for the computation of conformance checking in online scenarios. The tool is actually implemented in the ProM framework as a pair of plugins. Specifically, given a process model (represented as Petri net) the tool is capable of analyzing an event stream by connecting, via TCP/IP, to the event source. The tool, then, provides a general dashboard where it is possible to analyze the current status of the system via general indicators (i.e., number of events per seconds collected over time, number of errors over time, which traces are the most problematic, etc.). Moreover, the tool also supports the detailed analysis of specific process instances in order to understand which problems occurred to cause the actual deviation. A screencast showing the capabilities of the plugin is available at be/cpxyenkqmk4 (enable the subtitles for live description). References 1. van der Aalst, W.M.P.: Process Mining - Data Science in Action, Second Edition. Springer (2016) 2. Burattin, A.: Process Mining Techniques in Business Environments, LNBIP, vol Springer (2015) 3. Burattin, A.: PLG2: multiperspective process randomization with online and o ine simulations. In: Proceedings of the BPM Demo Track pp. 1 6 (2016) 4. Burattin, A., Carmona, J.: A Framework for Online Conformance Checking (manuscript submitted to BPI 2017), public-files/online-conformance/paper.pdf 5. Burattin, A., Cimitile, M., Maggi, F.M., Sperduti, A.: Online discovery of declarative process models from event streams. IEEE Trans. Serv. Comput. 8(6), (2015) 6. Munoz-Gama, J.: Conformance Checking and Diagnosis in Process Mining - Comparing Observed and Modeled Processes, Lecture Notes in Business Information Processing, vol Springer (2016) 7. Weber, I., Rogge-Solti, A., Li, C., Mendling, J.: CCaaS: Online conformance checking as a service. In: BPM Demo. pp Innsbruck, Austria (2015)
Online Conformance Checking for Petri Nets and Event Streams
Downloaded from orbit.dtu.dk on: Apr 30, 2018 Online Conformance Checking for Petri Nets and Event Streams Burattin, Andrea Published in: Online Proceedings of the BPM Demo Track 2017 Publication date:
More informationThe multi-perspective process explorer
The multi-perspective process explorer Mannhardt, F.; de Leoni, M.; Reijers, H.A. Published in: Proceedings of the Demo Session of the 13th International Conference on Business Process Management (BPM
More informationThe Multi-perspective Process Explorer
The Multi-perspective Process Explorer Felix Mannhardt 1,2, Massimiliano de Leoni 1, Hajo A. Reijers 3,1 1 Eindhoven University of Technology, Eindhoven, The Netherlands 2 Lexmark Enterprise Software,
More informationStreaming process discovery and conformance checking
Streaming process discovery and conformance checking Andrea Burattin Synonyms Online process mining; online process discovery; online conformance checking. Definitions Streaming process discovery, streaming
More informationData Streams in ProM 6: A Single-Node Architecture
Data Streams in ProM 6: A Single-Node Architecture S.J. van Zelst, A. Burattin 2, B.F. van Dongen and H.M.W. Verbeek Eindhoven University of Technology {s.j.v.zelst,b.f.v.dongen,h.m.w.verbeek}@tue.nl 2
More informationNon-Dominated Bi-Objective Genetic Mining Algorithm
Advances in Computational Sciences and Technology ISSN 0973-6107 Volume 10, Number 6 (2017) pp. 1607-1614 Research India Publications http://www.ripublication.com Non-Dominated Bi-Objective Genetic Mining
More informationBusiness Intelligence & Process Modelling
Business Intelligence & Process Modelling Frank Takes Universiteit Leiden Lecture 9 Process Modelling & BPMN & Tooling BIPM Lecture 9 Process Modelling & BPMN & Tooling 1 / 47 Recap Business Intelligence:
More informationMining with Eve - Process Discovery and Event Structures
Mining with Eve - Process Discovery and Event Structures Robin Bergenthum, Benjamin Meis Department of Software Engineering, FernUniversität in Hagen {firstname.lastname}@fernuni-hagen.de Abstract. This
More informationDecomposed Process Mining: The ILP Case
Decomposed Process Mining: The ILP Case H.M.W. Verbeek and W.M.P. van der Aalst Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands {h.m.w.verbeek,w.m.p.v.d.aaalst}@tue.nl
More informationDealing with Artifact-Centric Systems: a Process Mining Approach
Dealing with Artifact-Centric Systems: a Process Mining Approach Guangming Li and Renata Medeiros de Carvalho 2 Abstract: Process mining provides a series of techniques to analyze business processes based
More informationDecomposed Process Mining with DivideAndConquer
Decomposed Process Mining with DivideAndConquer H.M.W. Verbeek Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands h.m.w.verbeek@tue.nl Abstract.
More informationAPD tool: Mining Anomalous Patterns from Event Logs
APD tool: Mining Anomalous Patterns from Event Logs Laura Genga 1, Mahdi Alizadeh 1, Domenico Potena 2, Claudia Diamantini 2, and Nicola Zannone 1 1 Eindhoven University of Technology 2 Università Politecnica
More informationDierencegraph - A ProM Plugin for Calculating and Visualizing Dierences between Processes
Dierencegraph - A ProM Plugin for Calculating and Visualizing Dierences between Processes Manuel Gall 1, Günter Wallner 2, Simone Kriglstein 3, Stefanie Rinderle-Ma 1 1 University of Vienna, Faculty of
More informationProcess Model Consistency Measurement
IOSR Journal of Computer Engineering (IOSRJCE) ISSN: 2278-0661, ISBN: 2278-8727Volume 7, Issue 6 (Nov. - Dec. 2012), PP 40-44 Process Model Consistency Measurement Sukanth Sistla CSE Department, JNTUniversity,
More informationBPMN Miner 2.0: Discovering Hierarchical and Block-Structured BPMN Process Models
BPMN Miner 2.0: Discovering Hierarchical and Block-Structured BPMN Process Models Raffaele Conforti 1, Adriano Augusto 1, Marcello La Rosa 1, Marlon Dumas 2, and Luciano García-Bañuelos 2 1 Queensland
More informationMining Process Performance from Event Logs
Mining Process Performance from Event Logs The BPI Challenge 2012 Case Study A. Adriansyah and J.C.A.M Buijs Department of Mathematics and Computer Science Eindhoven University of Technology P.O. Box 513,
More informationAnalysis of BPMN Models
Analysis of BPMN Models Addis Gebremichael addisalemayehu.gebremichael@student.uantwerpen.be Abstract The Business Process Modeling Notation (BPMN) is a standard notation for capturing business processes,
More informationA ProM Operational Support Provider for Predictive Monitoring of Business Processes
A ProM Operational Support Provider for Predictive Monitoring of Business Processes Marco Federici 1,2, Williams Rizzi 1,2, Chiara Di Francescomarino 1, Marlon Dumas 3, Chiara Ghidini 1, Fabrizio Maria
More informationDiscovering Hierarchical Process Models Using ProM
Discovering Hierarchical Process Models Using ProM R.P. Jagadeesh Chandra Bose 1,2, Eric H.M.W. Verbeek 1 and Wil M.P. van der Aalst 1 1 Department of Mathematics and Computer Science, University of Technology,
More informationMeasuring the Precision of Multi-perspective Process Models
Measuring the Precision of Multi-perspective Process Models Felix Mannhardt 1,2, Massimiliano de Leoni 1, Hajo A. Reijers 3,1, Wil M.P. van der Aalst 1 1 Eindhoven University of Technology, Eindhoven,
More informationTowards Automated Process Modeling based on BPMN Diagram Composition
Towards Automated Process Modeling based on BPMN Diagram Composition Piotr Wiśniewski, Krzysztof Kluza and Antoni Ligęza AGH University of Science and Technology al. A. Mickiewicza 30, 30-059 Krakow, Poland
More informationWoPeD - A "Proof-of-Concept" Platform for Experimental BPM Research Projects
Downloaded from orbit.dtu.dk on: Sep 01, 2018 WoPeD - A "Proof-of-Concept" Platform for Experimental BPM Research Projects Freytag, Thomas ; Allgaier, Philip; Burattin, Andrea; Danek-Bulius, Andreas Published
More informationIntegration of UML and Petri Net for the Process Modeling and Analysis in Workflow Applications
Integration of UML and Petri Net for the Process Modeling and Analysis in Workflow Applications KWAN-HEE HAN *, SEOCK-KYU YOO **, BOHYUN KIM *** Department of Industrial & Systems Engineering, Gyeongsang
More informationFlexab Flexible Business Process Model Abstraction
Flexab Flexible Business Process Model Abstraction Matthias Weidlich, Sergey Smirnov, Christian Wiggert, and Mathias Weske Hasso Plattner Institute, Potsdam, Germany {matthias.weidlich,sergey.smirnov,mathias.weske}@hpi.uni-potsdam.de,
More informationWoPeD - A Proof-of-Concept Platform for Experimental BPM Research Projects
WoPeD - A Proof-of-Concept Platform for Experimental BPM Research Projects Thomas Freytag, Cooperative State University (DHBW) Karlsruhe, Germany freytag@dhbw-karlsruhe.de Philip Allgaier, bpcompass GmbH,
More informationIncremental and Interactive Business Process Model Repair in Apromore
Incremental and Interactive Business Process Model Repair in Apromore Abel Armas-Cervantes 1, Nick R.T.P. van Beest 2, Marcello La Rosa 1, Marlon Dumas 3, and Simon Raboczi 1 1 Queensland University of
More informationProM 6: The Process Mining Toolkit
ProM 6: The Process Mining Toolkit H.M.W. Verbeek, J.C.A.M. Buijs, B.F. van Dongen, W.M.P. van der Aalst Department of Mathematics and Computer Science, Eindhoven University of Technology P.O. Box 513,
More informationBPM Academic Initiative Fostering Empirical Research
BPM Academic Initiative Fostering Empirical Research Matthias Kunze, Philipp Berger, and Mathias Weske Hasso Plattner Institute at the University of Potsdam Prof.-Dr.-Helmert-Strasse 2-3, 14482 Potsdam,
More informationA Knowledge-Based Integrated Approach for Discovering and Repairing Declare Maps
A Knowledge-Based Integrated Approach for Discovering and Repairing Declare Maps Fabrizio M. Maggi, R.P. Jagadeesh Chandra Bose, and Wil M.P. van der Aalst Eindhoven University of Technology, The Netherlands.
More informationThe onprom Toolchain for Extracting Business Process Logs using Ontology-based Data Access
The onprom Toolchain for Extracting Business Process Logs using Ontology-based Data Access Diego Calvanese, Tahir Emre Kalayci, Marco Montali, and Ario Santoso KRDB Research Centre for Knowledge and Data
More informationTRANSLATING BPMN TO E-GSM: SPECIFICATIONS AND RULES. Giovanni Meroni, Luciano Baresi, Pierluigi Plebani
TRANSLATING BPMN TO E-GSM: SPECIFICATIONS AND RULES Giovanni Meroni, Luciano Baresi, Pierluigi Plebani Politecnico di Milano Dipartimento di Elettronica Informazione e Bioingegneria Piazza Leonardo da
More information2015 International Conference on Computer, Control, Informatics and Its Applications
2015 International Conference on Computer, Control, Informatics and Its Applications Business Process Optimization from Single Timestamp Event Log Riyanarto Sarno *, Fitrianing Haryadita, Kartini, Sarwosri
More informationA Tool for Supporting Object-Aware Processes
A Tool for Supporting Object-Aware Processes Carolina Ming Chiao, Vera Künzle, Kevin Andrews, Manfred Reichert Institute of Databases and Information Systems University of Ulm, Germany Email: {carolina.chiao,
More informationCoverability Graph and Fairness
Coverability Graph and Fairness prof.dr.ir. Wil van der Aalst www.vdaalst.com Recall reachability analysis or1 x r1 rg1 g1 go1 o1 r2 rg2 g2 go2 o2 or2 Petri net standard properties Boundedness Terminating
More informationData- and Resource-Aware Conformance Checking of Business Processes
Data- and Resource-Aware Conformance Checking of Business Processes Massimiliano de Leoni, Wil M. P. van der Aalst, and Boudewijn F. van Dongen Eindhoven University of Technology, Eindhoven, The Netherlands
More informationA PROPOSAL OF USING DEVS MODEL FOR PROCESS MINING
A PROPOSAL OF USING DEVS MODEL FOR PROCESS MINING Yan Wang (a), Grégory Zacharewicz (b), David Chen (c), Mamadou Kaba Traoré (d) (a),(b),(c) IMS, University of Bordeaux, 33405 Talence Cedex, France (d)
More informationProcess Mining Tutorial
Anne Rozinat Christian W. Günther 26. April 2010 Web: http://fluxicon.com Email: anne@fluxicon.com Phone: +31(0)62 4364201 Copyright 2010 Fluxicon Problem IT-supported business processes are complex Lack
More informationApplicability of Process Mining Techniques in Business Environments
Applicability of Process Mining Techniques in Business Environments Annual Meeting IEEE Task Force on Process Mining Andrea Burattin andreaburattin September 8, 2014 Brief Curriculum Vitæ 2009, M.Sc. Computer
More informationNLP4BPM - Natural Language Processing Tools for Business Process Management
NLP4BPM - Natural Language Processing Tools for Business Process Management Luis Delicado, Josep Sànchez-Ferreres, Josep Carmona, and Lluís Padró Computer Science Department Universitat Politècnica de
More informationDiscovering Stochastic Petri Nets with Arbitrary Delay Distributions from Event Logs
Discovering Stochastic Petri Nets with Arbitrary Delay Distributions from Event Logs Andreas Rogge-Solti 1(B), Wil M.P. van der Aalst 2, and Mathias Weske 1 1 Business Process Technology Group, Hasso Plattner
More informationThe Process Checklist Generator: Establishing Paper-based Process Support
The Process Checklist Generator: Establishing Paper-based Process Support Marcel Bankau, Michaela Baumann, Michael Heinrich Baumann, Stefan Schönig, and Stefan Jablonski University of Bayreuth, Universitätsstraße
More informationFinding suitable activity clusters for decomposed process discovery Hompes, B.F.A.; Verbeek, H.M.W.; van der Aalst, W.M.P.
Finding suitable activity clusters for decomposed process discovery Hompes, B.F.A.; Verbeek, H.M.W.; van der Aalst, W.M.P. Published in: 4th International Symposium on Data-driven Process Discovery and
More informationUser Manual. Privacy Infringement Severity. ProM Plug-in. Author: Sebastian Banescu Version: 0.1
User Manual Privacy Infringement Severity ProM Plug-in Author: Sebastian Banescu Version: 0.1 1 Table of Contents 1. Introduction...3 1.1 Implementation Details...3 2. Installation...3 3. Plug-in inputs...4
More informationProblems and Challenges When Implementing a Best Practice Approach for Process Mining in a Tourist Information System
Problems and Challenges When Implementing a Best Practice Approach for Process Mining in a Tourist Information System Marian Lux and Stefanie Rinderle-Ma Faculty of Computer Science, University of Vienna
More informationProcess Mining Based on Clustering: A Quest for Precision
Process Mining Based on Clustering: A Quest for Precision A.K. Alves de Medeiros 1, A. Guzzo 2, G. Greco 2, W.M.P. van der Aalst 1, A.J.M.M. Weijters 1, B. van Dongen 1, and D. Saccà 2 1 Eindhoven University
More informationUnicorn meets Chimera: Integrating External Events into Case Management
Unicorn meets Chimera: Integrating External Events into Case Management Jonas Beyer, Patrick Kuhn, Marcin Hewelt, Sankalita Mandal, Mathias Weske Hasso Plattner Institute, University of Potsdam, Germany
More informationVisual support for work assignment in YAWL
Visual support for work assignment in YAWL Citation for published version (APA): Cardi, F., Leoni, de, M., Adams, M., Hofstede, ter, A. H. M., & Aalst, van der, W. M. P. (2009). Visual support for work
More informationReality Mining Via Process Mining
Reality Mining Via Process Mining O. M. Hassan, M. S. Farag, and M. M. Mohie El-Din Abstract Reality mining project work on Ubiquitous Mobile Systems (UMSs) that allow for automated capturing of events.
More informationReality Mining Via Process Mining
Reality Mining Via Process Mining O. M. Hassan, M. S. Farag, M. M. MohieEl-Din Department of Mathematics, Facility of Science Al-Azhar University Cairo, Egypt {ohassan, farag.sayed, mmeldin}@azhar.edu.eg
More informationExploring different aspects of users behaviours in the Dutch autonomous administrative authority through process cubes
Exploring different aspects of users behaviours in the Dutch autonomous administrative authority through process cubes Amin Jalali Stockholm University, Sweden, aj@dsv.su.se Abstract. This report demonstrates
More informationProcess Mining Based on Clustering: A Quest for Precision
Process Mining Based on Clustering: A Quest for Precision Ana Karla Alves de Medeiros 1, Antonella Guzzo 2, Gianluigi Greco 2, WilM.P.vanderAalst 1, A.J.M.M. Weijters 1, Boudewijn F. van Dongen 1, and
More informationModelling (and Analyzing) Interorganizational Communication. Jan Martijn van der Werf
Modelling (and Analyzing) Interorganizational Communication Jan Martijn van der Werf 1 2 Interaction Interaction in networks Bob Charley Alice Dave 3 Bob Can you Charley, you do Interaction in networks
More informationThe Process Checklist Generator: Establishing Paper-based Process Support
The Process Checklist Generator: Establishing Paper-based Process Support Marcel Bankau, Michaela Baumann, Michael Heinrich Baumann?, Stefan Schönig, and Stefan Jablonski University of Bayreuth, Universitätsstraße
More informationGenetic Process Mining: A Basic Approach and its Challenges
Genetic Process Mining: A Basic Approach and its hallenges A.K. Alves de Medeiros, A.J.M.M. Weijters and W.M.P. van der Aalst Department of Technology Management, Eindhoven University of Technology P.O.
More informationProM 4.0: Comprehensive Support for Real Process Analysis
ProM 4.0: Comprehensive Support for Real Process Analysis W.M.P. van der Aalst 1, B.F. van Dongen 1, C.W. Günther 1, R.S. Mans 1, A.K. Alves de Medeiros 1, A. Rozinat 1, V. Rubin 2,1, M. Song 1, H.M.W.
More informationFinding Suitable Activity Clusters for Decomposed Process Discovery
Finding Suitable Activity Clusters for Decomposed Process Discovery Details omitted for double-blind reviewing Institute omitted for double-blind reviewing Abstract. Event data can be found in any information
More informationMining CPN Models. Discovering Process Models with Data from Event Logs. A. Rozinat, R.S. Mans, and W.M.P. van der Aalst
Mining CPN Models Discovering Process Models with Data from Event Logs A. Rozinat, R.S. Mans, and W.M.P. van der Aalst Department of Technology Management, Eindhoven University of Technology P.O. Box 513,
More informationFilter Techniques for Region-Based Process Discovery
Filter Techniques for Region-Based Process Discovery S.J. van Zelst, B.F. van Dongen, W.M.P. van der Aalst Department of Mathematics and Computer Science Eindhoven University of Technology, The Netherlands
More informationTHE SELECTION OF THE ARCHITECTURE OF ELECTRONIC SERVICE CONSIDERING THE PROCESS FLOW
THE SELECTION OF THE ARCHITECTURE OF ELECTRONIC SERVICE CONSIDERING THE PROCESS FLOW PETERIS STIPRAVIETIS, MARIS ZIEMA Institute of Computer Control, Automation and Computer Engineering, Faculty of Computer
More informationDiscovering and Navigating a Collection of Process Models using Multiple Quality Dimensions
Discovering and Navigating a Collection of Process Models using Multiple Quality Dimensions J.C.A.M. Buijs, B.F. van Dongen, and W.M.P. van der Aalst Eindhoven University of Technology, The Netherlands
More informationDecomposition Using Refined Process Structure Tree (RPST) and Control Flow Complexity Metrics
015 International Conference on Information, Communication Technology and System (ICTS) 015 International Conference on Information, Communication Technology and System Decomposition Using Refined Process
More informationDB-XES: Enabling Process Discovery in the Large
DB-XES: Enabling Process Discovery in the Large Alifah Syamsiyah, Boudewijn F. van Dongen, Wil M.P. van der Aalst Eindhoven University of Technology, Eindhoven, the Netherlands A.Syamsiyah@tue.nl, B.F.v.Dongen@tue.nl,
More informationModel Repair Aligning Process Models to Reality
Model Repair Aligning Process Models to Reality Dirk Fahland, Wil M.P. van der Aalst Eindhoven University of Technology, The Netherlands Abstract Process mining techniques relate observed behavior (i.e.,
More informationA Declarative Approach for Flexible Business Processes Management
A Declarative Approach for Flexible Business Processes Management M. Pesic and W.M.P. van der Aalst Department of Technology Management, Eindhoven University of Technology, P.O.Box 513, NL-5600 MB, Eindhoven,
More informationInteroperability in the ProM Framework
Interoperability in the ProM Framework H.M.W. Verbeek 1, B.F. van Dongen 1, J. Mendling 2, and W.M.P. van der Aalst 1 1 Department of Technology Management, Eindhoven University of Technology P.O. Box
More informationA graphical user interface for service adaptation
A graphical user interface for service adaptation Christian Gierds 1 and Niels Lohmann 2 1 Humboldt-Universität zu Berlin, Institut für Informatik, Unter den Linden 6, 10099 Berlin, Germany gierds@informatik.hu-berlin.de
More informationPetri-net-based Workflow Management Software
Petri-net-based Workflow Management Software W.M.P. van der Aalst Department of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB, Eindhoven, The Netherlands,
More informationProcess mining using BPMN: relating event logs and process models Kalenkova, A.A.; van der Aalst, W.M.P.; Lomazova, I.A.; Rubin, V.A.
Process mining using BPMN: relating event logs and process models Kalenkova, A.A.; van der Aalst, W.M.P.; Lomazova, I.A.; Rubin, V.A. Published in: Software and Systems Modeling DOI: 10.1007/s10270-015-0502-0
More informationRepresentation of Action Spaces in Multiple Levels of Detail
Representation of Action Spaces in Multiple Levels of Detail Andreas Hasselberg Dirk Söffker Institute of Flight Guidance, German Aerospace Center, Braunschweig, Germany (e-mail: andreas.hasselberg@dlr.de)
More informationProcess Modelling using Petri Nets
Process Modelling using Petri Nets Katalina Grigorova Abstract: This paper discusses the reasons, which impose Petri nets as a conceptual standard for modelling and analysis of workflow. Petri nets notation
More informationBP-Diff: A Tool for Behavioral Comparison of Business Process Models
BP-Diff: A Tool for Behavioral Comparison of Business Process Models Abel Armas-Cervantes 1, Paolo Baldan 2, Marlon Dumas 1, and Luciano García-Bañuelos 1 1 Institute of Computer Science, University of
More informationRepairing Event Logs Using Stochastic Process Models
Repairing Event Logs Using Stochastic Process Models Andreas Rogge-Solti 1, Ronny S. Mans 2, Wil M. P. van der Aalst 2, and Mathias Weske 1 1 Hasso Plattner Institute at the University of Potsdam Prof.-Dr.-Helmert-Strasse
More informationMultidimensional Process Mining with PMCube Explorer
Multidimensional Process Mining with PMCube Explorer Thomas Vogelgesang and H.-Jürgen Appelrath Department of Computer Science University of Oldenburg, Germany thomas.vogelgesang@uni-oldenburg.de Abstract.
More informationImproving Process Model Precision by Loop Unrolling
Improving Process Model Precision by Loop Unrolling David Sánchez-Charles 1, Marc Solé 1, Josep Carmona 2, Victor Muntés-Mulero 1 1 CA Strategic Research Labs, CA Technologies, Spain David.Sanchez,Marc.SoleSimo,Victor.Muntes@ca.com
More informationProcess Discovery: Capturing the Invisible
Process Discovery: Capturing the Invisible Wil M. P. van der Aalst Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, The Netherlands. W.M.P.v.d.Aalst@tue.nl Abstract. Processes
More informationSupporting Social Network Analysis Using Chord Diagram in Process Mining
Supporting Social Network Analysis Using Chord Diagram in Process Mining Amin Jalali (B) Department of Computer and Systems Sciences, Stockholm University, Stockholm, Sweden aj@dsv.su.se Abstract. Data
More informationOntology based Model and Procedure Creation for Topic Analysis in Chinese Language
Ontology based Model and Procedure Creation for Topic Analysis in Chinese Language Dong Han and Kilian Stoffel Information Management Institute, University of Neuchâtel Pierre-à-Mazel 7, CH-2000 Neuchâtel,
More informationSub-process discovery: Opportunities for Process Diagnostics
Sub-process discovery: Opportunities for Process Diagnostics Raykenler Yzquierdo-Herrera 1, Rogelio Silverio-Castro 1, Manuel Lazo-Cortés 1 1 Faculty 3, University of the Informatics Sciences. Habana,
More informationConformance Checking of Processes Based on Monitoring Real Behavior
Conformance Checking of Processes Based on Monitoring Real Behavior Seminar - Multimedia Retrieval and Data Mining Aljoscha Steffens Data Management and Data Exploration Group RWTH Aachen University Germany
More informationA Visual Editor for Reconfigurable Object Nets based on the ECLIPSE Graphical Editor Framework
A Visual Editor for Reconfigurable Object Nets based on the ECLIPSE Graphical Editor Framework Enrico Biermann, Claudia Ermel, Frank Hermann and Tony Modica Technische Universität Berlin, Germany {enrico,lieske,frank,modica}@cs.tu-berlin.de
More informationIMPERATIVE PROGRAMS BEHAVIOR SIMULATION IN TERMS OF COMPOSITIONAL PETRI NETS
IMPERATIVE PROGRAMS BEHAVIOR SIMULATION IN TERMS OF COMPOSITIONAL PETRI NETS Leontyev Denis Vasilevich, Kharitonov Dmitry Ivanovich and Tarasov Georgiy Vitalievich ABSTRACT Institute of Automation and
More informationSHARPE Interface User's Manual Version 1.01
SHARPE Interface User's Manual Version 1.01 Contact information: Professor Kishor S. Trivedi Center for Advanced Computing and Communication (CACC) Department of Electrical and Computer Engineering Duke
More informationConformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models
Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models A. Rozinat 1,2 and W.M.P. van der Aalst 1 1 Department of Technology Management, Eindhoven University of Technology
More informationChange Your History: Learning from Event Logs to Improve Processes
Change Your History: Learning from Event Logs to Improve Processes Wil M.P. van der Aalst Wei Zhe Low Moe T. Wynn Arthur H.M. ter Hofstede Technische Universiteit Eindhoven (TU/e), Eindhoven, The Netherlands
More informationAAUITEC at ImageCLEF 2015: Compound Figure Separation
AAUITEC at ImageCLEF 2015: Compound Figure Separation Mario Taschwer 1 and Oge Marques 2 1 ITEC, Klagenfurt University (AAU), Austria, mario.taschwer@aau.at 2 Florida Atlantic University (FAU), Boca Raton,
More informationBehavioral Conformance of Artifact-Centric Process Models
Behavioral Conformance of Artifact-Centric Process Models Dirk Fahland, Massimiliano de Leoni, Boudewijn F. van Dongen, and Wil M.P. van der Aalst Eindhoven University of Technology, The Netherlands (d.fahland
More informationQUALITY DIMENSIONS IN PROCESS DISCOVERY: THE IMPORTANCE OF FITNESS, PRECISION, GENERALIZATION AND SIMPLICITY
International Journal of Cooperative Information Systems c World Scientific Publishing Company QUALITY DIMENSIONS IN PROCESS DISCOVERY: THE IMPORTANCE OF FITNESS, PRECISION, GENERALIZATION AND SIMPLICITY
More informationConformance Checking Evaluation of Process Discovery Using Modified Alpha++ Miner Algorithm
Conformance Checking Evaluation of Process Discovery Using Modified Alpha++ Miner Algorithm Yutika Amelia Effendi and Riyanarto Sarno Department of Informatics, Faculty of Information and Communication
More informationWoPeD Workflow Petri Net Designer
WoPeD Workflow Petri Net Designer Thomas Freytag University of Cooperative Education (Berufsakademie) Department of Computer Science D-76052 Karlsruhe freytag@ba-karlsruhe.de Abstract. WoPeD (WoPeD Petrinet
More informationProcess Querying in Apromore
Process Querying in Apromore Artem Polyvyanyy 1, Luigi Corno 2, Raffaele Conforti 1, Simon Raboczi 1, Marcello La Rosa 1,3, and Giancarlo Fortino 2 1 Queensland University of Technology, Brisbane, Australia
More informationA SMIL Editor and Rendering Tool for Multimedia Synchronization and Integration
A SMIL Editor and Rendering Tool for Multimedia Synchronization and Integration Stephen J.H. Yang 1, Norman W.Y. Shao 2, Kevin C.Y. Kuo 3 National Central University 1 National Kaohsiung First University
More informationStriving for Object-aware Process Support: How Existing Approaches Fit Together
Striving for Object-aware Process Support: How Existing Approaches Fit Together Vera Künzle and Manfred Reichert Institute of Databases and Information Systems, Ulm University, Germany {vera.kuenzle,manfred.reichert}@uni-ulm.de
More informationFrom synchronous models to distributed, asynchronous architectures
From synchronous models to distributed, asynchronous architectures Stavros Tripakis Joint work with Claudio Pinello, Cadence Alberto Sangiovanni-Vincentelli, UC Berkeley Albert Benveniste, IRISA (France)
More informationBidimensional Process Discovery for Mining BPMN Models
Bidimensional Process Discovery for Mining BPMN Models DeMiMoP 2014, Haifa Eindhoven Jochen De Weerdt, KU Leuven (@jochendw) Seppe vanden Broucke, KU Leuven (@macuyiko) (presenter) Filip Caron, KU Leuven
More informationA Tool for Checking Soundness of Decision-Aware Business Processes
A Tool for Checking Soundness of Decision-Aware Business Processes Kimon Batoulis and Mathias Weske Hasso Plattner Institute at the University of Potsdam, Potsdam, Germany {Kimon.Batoulis,Mathias.Weske}@hpi.de
More informationConcurrent Systems Modeling using Petri Nets Part II
Concurrent Systems Modeling using Petri Nets Part II Marlon Dumas (Based on lecture material by Wil van der Aalst Eindhoven University of Technology, The Netherlands http://www.workflowcourse.com) PN-1
More informationHydroOffice Diagrams
Hydro Office Software for Water Sciences HydroOffice Diagrams User Manual for Ternary 1.0, Piper 2.0 and Durov 1.0 tool HydroOffice.org Citation: Gregor M. 2013. HydroOffice Diagrams user manual for Ternary1.0,
More informationCOVER SHEET. This is the author version of article published as:
COVER SHEET This is the author version of article published as: Ouyang, Chun and Verbeek, Eric and van der Aalst, Wil M.P. and Breutel, Stephan W. and Dumas, Marlon and ter Hofstede, Arthur H. (2005) WofBPEL:
More informationProcess Model Discovery: A Method Based on Transition System Decomposition
Process Model Discovery: A Method Based on Transition System Decomposition Anna A. Kalenkova 1, Irina A. Lomazova 1, and Wil M.P. van der Aalst 1,2 1 National Research University Higher School of Economics
More informationInternational Journal of Advanced Research in Computer Science and Software Engineering
ISSN: 2277 128X International Journal of Advanced Research in Computer Science and Software Engineering Research Paper Available online at: Fingerprint Recognition using Robust Local Features Madhuri and
More information