Wil M. P. van der Aalst

Orcid: 0000-0002-0955-6940

Affiliations:
  • RWTH Aachen University, Chair of Process and Data Science, Germany
  • Eindhoven University of Technology, Department of Mathematics and Computer Science (former)


According to our database1, Wil M. P. van der Aalst authored at least 1,042 papers between 1990 and 2024.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 2020, "For contributions to process mining, process management and data science".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Analyzing Healthcare Processes with Incremental Process Discovery: Practical Insights from a Real-World Application.
J. Heal. Informatics Res., September, 2024

Analyzing Data Streams from Cyber-Physical-Systems: A Case Study.
SN Comput. Sci., August, 2024

Graph-based feature extraction on object-centric event logs.
Int. J. Data Sci. Anal., August, 2024

The Internet of Value: Unleashing the Blockchain's Potential with Tokenization.
Bus. Inf. Syst. Eng., August, 2024

Process Mining of Mining Processes: Analyzing Longwall Coal Excavation Using Event Data.
IEEE Trans. Syst. Man Cybern. Syst., May, 2024

Game Data Event Log from Age of Empire Interactions.
Dataset, May, 2024

Digital Democracy: A Wake-Up Call.
Bus. Inf. Syst. Eng., April, 2024

Matthias Jarke (1952-2024), A Pioneer in Information Systems and Data Management.
Bus. Inf. Syst. Eng., April, 2024

Defining and visualizing process execution variants from partially ordered event data.
Inf. Sci., February, 2024

The IEEE XES Standard for Process Mining: Experiences, Adoption, and Revision [Society Briefs].
IEEE Comput. Intell. Mag., February, 2024

A chance for models to show their quality: Stochastic process model-log dimensions.
Inf. Syst., 2024

Discovering Process Models with Long-Term Dependencies while Providing Guarantees and Filtering Infrequent Behavior Patterns.
Fundam. Informaticae, 2024

Evaluation of Study Plans using Partial Orders.
CoRR, 2024

Bridging Domain Knowledge and Process Discovery Using Large Language Models.
CoRR, 2024

Leveraging Large Language Models for Enhanced Process Model Comprehension.
CoRR, 2024

PM-LLM-Benchmark: Evaluating Large Language Models on Process Mining Tasks.
CoRR, 2024

Challenges of Anomaly Detection in the Object-Centric Setting: Dimensions and the Role of Domain Knowledge.
CoRR, 2024

High-Level Event Mining: Overview and Future Work.
CoRR, 2024

OCEL (Object-Centric Event Log) 2.0 Specification.
CoRR, 2024

Developing a High-Performance Process Mining Library with Java and Python Bindings in Rust.
CoRR, 2024

Tuning Machine Learning to Address Process Mining Requirements.
IEEE Access, 2024

Imposing Rules in Process Discovery: An Inductive Mining Approach.
Proceedings of the Research Challenges in Information Science, 2024

Translucent Precision: Exploiting Enabling Information to Evaluate the Quality of Process Models.
Proceedings of the Research Challenges in Information Science, 2024

Maximizing Reuse and Interoperability in Industry 4.0 with a Minimal Data Exchange Format for Machine Data.
Proceedings of the Modellierung 2024, Potsdam, Germany, 2024

ProMoAI: Process Modeling with Generative AI.
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Stochastic Conformance Checking Based on Expected Subtrace Frequency.
Proceedings of the 6th International Conference on Process Mining, 2024

ProM4Py - A Python Wrapper For The ProM Framework.
Proceedings of the Doctoral Consortium and Demo Track 2024 at the International Conference on Process Mining 2024 co-located with the 6th International Conference on Process Mining (ICPM 2024), 2024

Wasserstein Weight Estimation for Stochastic Petri Nets.
Proceedings of the 6th International Conference on Process Mining, 2024

A Pipeline for the Usage of the Core Data Set of the Medical Informatics Initiative for Process Mining - A Technical Case Report.
Proceedings of the German Medical Data Sciences 2024 - Health, 2024

ActivityGen: Extracting Enabled Activities from Screenshots.
Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

Incorporating Behavioral Recommendations Mined from Event Logs into AI Planning.
Proceedings of the Intelligent Information Systems, 2024

Overstock Problems in a Purchase-to-Pay Process: An Object-Centric Process Mining Case Study.
Proceedings of the Advanced Information Systems Engineering Workshops, 2024

ProReco: A Process Discovery Recommender System.
Proceedings of the Intelligent Information Systems, 2024

Process Comparison Based on Selection-Projection Structures.
Proceedings of the Advanced Information Systems Engineering, 2024

Precision-Guided Minimization of Arbitrary Declarative Process Models.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2024

Process Variant Analysis Across Continuous Features: A Novel Framework.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2024

Process Modeling with Large Language Models.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2024

Navigating the Data Model Divide in Smart Manufacturing: An Empirical Investigation for Enhanced AI Integration.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2024

Fast & Sound: Accelerating Synthesis-Rules-Based Process Discovery.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2024

Mining Behavioral Patterns for Conformance Diagnostics.
Proceedings of the Business Process Management - 22nd International Conference, 2024

Conformance Checking and Performance Analysis Using Object-Centric Directly-Follows Graphs.
Proceedings of the Business Process Management Forum, 2024

TOTeM: Temporal Object Type Model for Object-Centric Process Mining.
Proceedings of the Business Process Management Forum, 2024

Rust4PM: A Versatile Process Mining Library for When Performance Matters.
Proceedings of the Best Dissertation Award, 2024

Improving Process Discovery Using Translucent Activity Relationships.
Proceedings of the Business Process Management - 22nd International Conference, 2024

Explainable Object-Centric Anomaly Detection: the Role of Domain Knowledge.
Proceedings of the Best Dissertation Award, 2024

CSV-PM-LLM-Parsing: Automatic Ingestion of CSV Event Logs for Process Mining using LLMs.
Proceedings of the Best Dissertation Award, 2024

Super Variants.
Proceedings of the Business Process Management - 22nd International Conference, 2024

Process-Aware Analysis of Treatment Paths in Heart Failure Patients: A Case Study.
Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies, 2024

Process Comparison Using Petri Net Decomposition.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024

Lifting Process Discovery and Conformance Checking to the Next Level: A General Approach to Object-Centric Process Mining (Invited Talk).
Proceedings of the International Workshop on Petri Nets and Software Engineering 2024 co-located with the 45th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2024), June 24, 2024

2023
A generic approach to extract object-centric event data from databases supporting SAP ERP.
J. Intell. Inf. Syst., December, 2023

Pattern-based action engine: Generating process management actions using temporal patterns of process-centric problems.
Comput. Ind., December, 2023

Ranking the Ranker: How to Evaluate Institutions, Researchers, Journals, and Conferences?
Bus. Inf. Syst. Eng., December, 2023

Order Management Object-centric Event Log in OCEL 2.0 Standard.
Dataset, September, 2023

Order Management Object-centric Event Log in OCEL 2.0 Standard.
Dataset, September, 2023

Performance-preserving event log sampling for predictive monitoring.
J. Intell. Inf. Syst., August, 2023

A natural language querying interface for process mining.
J. Intell. Inf. Syst., August, 2023

Opinion Paper: "So what if ChatGPT wrote it?" Multidisciplinary perspectives on opportunities, challenges and implications of generative conversational AI for research, practice and policy.
Int. J. Inf. Manag., August, 2023

Quantum Computing.
Bus. Inf. Syst. Eng., August, 2023

Discovering hybrid process models with bounds on time and complexity: When to be formal and when not?
Inf. Syst., June, 2023

Cortado: A dedicated process mining tool for interactive process discovery.
SoftwareX, May, 2023

Explainable concept drift in process mining.
Inf. Syst., March, 2023

OC-PM: analyzing object-centric event logs and process models.
Int. J. Softw. Tools Technol. Transf., February, 2023

Sustainable Systems Engineering.
Bus. Inf. Syst. Eng., February, 2023

Mining Frequent Infix Patterns from Concurrency-Aware Process Execution Variants.
Proc. VLDB Endow., 2023

An Experimental Evaluation of Process Concept Drift Detection.
Proc. VLDB Endow., 2023

Preserving complex object-centric graph structures to improve machine learning tasks in process mining.
Eng. Appl. Artif. Intell., 2023

Advancements and Challenges in Object-Centric Process Mining: A Systematic Literature Review.
CoRR, 2023

Applying Process Mining on Scientific Workflows: a Case Study.
CoRR, 2023

Tailoring Machine Learning for Process Mining.
CoRR, 2023

Revisiting the Alpha Algorithm To Enable Real-Life Process Discovery Applications - Extended Report.
CoRR, 2023

Welcome to the Era of ChatGPT et al.
Bus. Inf. Syst. Eng., 2023

An Abstraction-Based Approach for Privacy-Aware Federated Process Mining.
IEEE Access, 2023

Discovering Process Models that Support Desired Behavior and Avoid Undesired Behavior.
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

TraVaG: Differentially Private Trace Variant Generation Using GANs.
Proceedings of the Research Challenges in Information Science: Information Science and the Connected World, 2023

ReThink Your Processes! A Review of Process Mining for Sustainability.
Proceedings of the International Conference on ICT for Sustainability, 2023

Unveiling Bottlenecks in Logistics: A Case Study on Process Mining for Root Cause Identification and Diagnostics in an Air Cargo Terminal.
Proceedings of the Service-Oriented Computing - 21st International Conference, 2023

Improving Precision in Process Trees Using Subprocess Tree Logs.
Proceedings of the Process Mining Workshops, 2023

Extracting Rules from Event Data for Study Planning.
Proceedings of the Process Mining Workshops, 2023

Grouping Local Process Models.
Proceedings of the Process Mining Workshops, 2023

Analyzing an After-Sales Service Process Using Object-Centric Process Mining: A Case Study.
Proceedings of the Process Mining Workshops, 2023

Checking Constraints for Object-Centric Process Executions.
Proceedings of the Process Mining Workshops, 2023

Scalable Discovery of Partially Ordered Workflow Models with Formal Guarantees.
Proceedings of the 5th International Conference on Process Mining, 2023

OCEL 2.0 Resources - www.ocel-standard.org.
Proceedings of the Doctoral Consortium and Demo Track 2023 at the International Conference on Process Mining 2023 co-located with the 5th International Conference on Process Mining (ICPM 2023), 2023

Discovering Object-Centric Process Simulation Models.
Proceedings of the 5th International Conference on Process Mining, 2023

Enhancing the Applicability of the eST-Miner: Efficient Precision-Guided Implicit Place Avoidance.
Proceedings of the 5th International Conference on Process Mining, 2023

From Identities to Quantities: Introducing Items and Decoupling Points to Object-Centric Process Mining.
Proceedings of the Process Mining Workshops, 2023

Object-Centric Alignments.
Proceedings of the Conceptual Modeling - 42nd International Conference, 2023

Discovering high-quality process models despite data scarcity.
Proceedings of the Companion Proceedings of the 42nd International Conference on Conceptual Modeling: ER Forum, 2023

People Make Better Edits: Measuring the Efficacy of LLM-Generated Counterfactually Augmented Data for Harmful Language Detection.
Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023

Data-Driven Simulation In Process Mining: Introducing A Reference Model.
Proceedings of the 37th ECMS International Conference on Modelling and Simulation, 2023

Toward More Realistic Simulation Models Using Object-Centric Process Mining.
Proceedings of the 37th ECMS International Conference on Modelling and Simulation, 2023

Clustering Object-Centric Event Logs.
Proceedings of the 12th International Conference on Data Science, 2023

Analyzing Cyber-Physical Systems in Cars: A Case Study.
Proceedings of the 12th International Conference on Data Science, 2023

Rectify Sensor Data in IoT: A Case Study on Enabling Process Mining for Logistic Process in an Air Cargo Terminal.
Proceedings of the Cooperative Information Systems - 29th International Conference, 2023

Learning Colored Petri Nets Using Object-Centric Event Data (OCED2CPN).
Proceedings of the 7th IEEE Congress on Information Science and Technology, 2023

Unblocking Inductive Miner - While Preserving Desirable Properties.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2023

Incremental Discovery of Process Models Using Trace Fragments.
Proceedings of the Business Process Management - 21st International Conference, 2023

Model-Independent Error Bound Estimation for Conformance Checking Approximation.
Proceedings of the Business Process Management Workshops, 2023

Alignment Approximator: A ProM Plug-In to Approximate Conformance Statistics.
Proceedings of the Best Dissertation Award, 2023

SLURMminer: A Tool for SLURM System Analysis with Process Mining.
Proceedings of the Best Dissertation Award, 2023

Polynomial-Time Conformance Checking for Process Trees.
Proceedings of the Business Process Management - 21st International Conference, 2023

Steady State Estimation for Business Process Simulations.
Proceedings of the Business Process Management Forum, 2023

A Collection of Simulated Event Logs for Fairness Assessment in Process Mining.
Proceedings of the Best Dissertation Award, 2023

Event Abstraction for Partial Order Patterns.
Proceedings of the Business Process Management - 21st International Conference, 2023

An Uncertainty-Aware Event Log of Network Traffic.
Proceedings of the Best Dissertation Award, 2023

Analyzing Behavior in Cyber-Physical Systems in Connected Vehicles: A Case Study.
Proceedings of the Business Process Management Workshops, 2023

Abstractions, Scenarios, and Prompt Definitions for Process Mining with LLMs: A Case Study.
Proceedings of the Business Process Management Workshops, 2023

The Interplay Between High-Level Problems and the Process Instances that Give Rise to Them.
Proceedings of the Business Process Management Forum, 2023

Addressing Convergence, Divergence, and Deficiency Issues.
Proceedings of the Business Process Management Workshops, 2023

Experiences from the Internet-of-Production: Using "Data-Models-in-the-Middle" to Fight Complexity and Facilitate Reuse.
Proceedings of the Business Process Management Workshops, 2023

Explorative Process Discovery Using Activity Projections.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

Improving the eST-Miner Models by Replacing Imprecise Structures Using Place Projection.
Proceedings of the Joint Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data and the International Workshop on Petri Nets for Twin Transition co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023), 2023

Revisiting the Alpha Algorithm To Enable Real-Life Process Discovery Applications.
Proceedings of the Joint Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data and the International Workshop on Petri Nets for Twin Transition co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023), 2023

Twin Transitions Powered By Event Data - Using Object-Centric Process Mining To Make Processes Digital and Sustainable.
Proceedings of the Joint Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data and the International Workshop on Petri Nets for Twin Transition co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023), 2023

2022
ocpa: A Python library for object-centric process analysis.
Softw. Impacts, December, 2022

A Computer Science Perspective on Digital Transformation in Production.
ACM Trans. Internet Things, 2022

Process mining for healthcare: Characteristics and challenges.
J. Biomed. Informatics, 2022

How Can Interactive Process Discovery Address Data Quality Issues in Real Business Settings? Evidence from a Case Study in Healthcare.
J. Biomed. Informatics, 2022

PROMISE: Coupling predictive process mining to process discovery.
Inf. Sci., 2022

Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones.
Inf. Syst., 2022

<i>OrdinoR</i>: A framework for discovering, evaluating, and analyzing organizational models using event logs.
Decis. Support Syst., 2022

Interactive Process Identification and Selection from SAP ERP.
CoRR, 2022

Resolving Uncertain Case Identifiers in Interaction Logs: A User Study.
CoRR, 2022

Process Modeling and Conformance Checking in Healthcare: A COVID-19 Case Study.
CoRR, 2022

Predictive Object-Centric Process Monitoring.
CoRR, 2022

Six Levels of Autonomous Process Execution Management (APEM).
CoRR, 2022

A Web-Based Tool for Comparative Process Mining.
CoRR, 2022

How to Write Beautiful Process-and-Data-Science Papers?
CoRR, 2022

A Python Tool for Object-Centric Process Mining Comparison.
CoRR, 2022

A Scalable Database for the Storage of Object-Centric Event Logs.
CoRR, 2022

Utilizing domain knowledge in data-driven process discovery: A literature review.
Comput. Ind., 2022

European leadership in process management.
Commun. ACM, 2022

BISE Student.
Bus. Inf. Syst. Eng., 2022

Metaverse: How to Approach Its Challenges from a BISE Perspective.
Bus. Inf. Syst. Eng., 2022

Corporate Digital Responsibility.
Bus. Inf. Syst. Eng., 2022

Discovering System Dynamics Simulation Models Using Process Mining.
IEEE Access, 2022

Interactive Business Process Comparison Using Conformance and Performance Insights - A Tool.
Proceedings of the Research Challenges in Information Science, 2022

Hybrid Business Process Simulation: Updating Detailed Process Simulation Models Using High-Level Simulations.
Proceedings of the Research Challenges in Information Science, 2022

Analyzing Process-Aware Information System Updates Using Digital Twins of Organizations.
Proceedings of the Research Challenges in Information Science, 2022

PM4Py-GPU: A High-Performance General-Purpose Library for Process Mining.
Proceedings of the Research Challenges in Information Science, 2022

Modeling Digital Shadows in Manufacturing by Using Process Mining.
Proceedings of the Modellierung 2022 - Workshop Proceedings, Hamburg, Germany, June 27, 2022

A Framework for Automated Abstraction Class Detection for Event Abstraction.
Proceedings of the Intelligent Systems Design and Applications - 22nd International Conference on Intelligent Systems Design and Applications (ISDA 2022) Held December 12-14, 2022, 2022

A Generic Trace Ordering Framework for Incremental Process Discovery.
Proceedings of the Advances in Intelligent Data Analysis XX, 2022

Control-Flow-Based Querying of Process Executions from Partially Ordered Event Data.
Proceedings of the Service-Oriented Computing - 20th International Conference, 2022

A Tool for Business Processes Diagnostics.
Proceedings of the Service-Oriented Computing - ICSOC 2022 Workshops - ASOCA, AI-PA, FMCIoT, WESOACS 2022, Sevilla, Spain, November 29, 2022

Explainable Predictive Decision Mining for Operational Support.
Proceedings of the Service-Oriented Computing - ICSOC 2022 Workshops - ASOCA, AI-PA, FMCIoT, WESOACS 2022, Sevilla, Spain, November 29, 2022

Comparing Ordering Strategies for Process Discovery Using Synthesis Rules.
Proceedings of the Service-Oriented Computing - ICSOC 2022 Workshops - ASOCA, AI-PA, FMCIoT, WESOACS 2022, Sevilla, Spain, November 29, 2022

A Framework for Extracting and Encoding Features from Object-Centric Event Data.
Proceedings of the Service-Oriented Computing - 20th International Conference, 2022

Interactive Process Identification and Selection from SAP ERP (Extended Abstract).
Proceedings of the ICPM Doctoral Consortium and Demo Track 2022 co-located with 4th International Conference on Process Mining (ICPM 2022), 2022

A Combined Approach of Process Mining and Rule-Based AI for Study Planning and Monitoring in Higher Education.
Proceedings of the Process Mining Workshops, 2022

TraVaS: Differentially Private Trace Variant Selection for Process Mining.
Proceedings of the Process Mining Workshops, 2022

Discrimination-Aware Process Mining: A Discussion.
Proceedings of the Process Mining Workshops, 2022

Monitoring Constraints in Business Processes Using Object-Centric Constraint Graphs.
Proceedings of the Process Mining Workshops, 2022

Detecting Surprising Situations in Event Data.
Proceedings of the Process Mining Workshops, 2022

Enhancing Data-Awareness of Object-Centric Event Logs.
Proceedings of the Process Mining Workshops, 2022

Stochastic Process Model-Log Quality Dimensions: An Experimental Study.
Proceedings of the 4th International Conference on Process Mining, 2022

Creating Translucent Event Logs to Improve Process Discovery.
Proceedings of the Process Mining Workshops, 2022

Process Modeling and Conformance Checking in Healthcare: A COVID-19 Case Study - Case Study.
Proceedings of the Process Mining Workshops, 2022

High-Level Event Mining: A Framework.
Proceedings of the 4th International Conference on Process Mining, 2022

Defining Cases and Variants for Object-Centric Event Data.
Proceedings of the 4th International Conference on Process Mining, 2022

Process Diagnostics at Coarse-grained Levels.
Proceedings of the 24th International Conference on Enterprise Information Systems, 2022

OPerA: Object-Centric Performance Analysis.
Proceedings of the Conceptual Modeling - 41st International Conference, 2022

Discovering Sound Free-Choice Workflow Nets with Non-block Structures.
Proceedings of the Enterprise Design, Operations, and Computing, 2022

Conformance Checking for Trace Fragments Using Infix and Postfix Alignments.
Proceedings of the Cooperative Information Systems - 28th International Conference, 2022

Quantifying Temporal Privacy Leakage in Continuous Event Data Publishing.
Proceedings of the Cooperative Information Systems - 28th International Conference, 2022

Temporal Performance Analysis for Block-Structured Process Models in Cortado.
Proceedings of the Intelligent Information Systems, 2022

Uncertain Case Identifiers in Process Mining: A User Study of the Event-Case Correlation Problem on Click Data.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2022

No Time to Dice: Learning Execution Contexts from Event Logs for Resource-Oriented Process Mining.
Proceedings of the Business Process Management - 20th International Conference, 2022

Detecting Context-Aware Deviations in Process Executions.
Proceedings of the Business Process Management Forum, 2022

Mining for Long-Term Dependencies in Causal Graphs.
Proceedings of the Business Process Management Workshops, 2022

Discovering Directly-Follows Complete Petri Nets from Event Data.
Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

From Place Nets to Local Process Models.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2022

Discovering Process Models with Long-Term Dependencies While Providing Guarantees and Handling Infrequent Behavior.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2022

OCπ: Object-Centric Process Insights.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2022

Data-Aware Process Oriented Query Language.
Proceedings of the Process Querying Methods, 2022

Foundations of Process Discovery.
Proceedings of the Process Mining Handbook, 2022

Process Mining: A 360 Degree Overview.
Proceedings of the Process Mining Handbook, 2022

Scaling Process Mining to Turn Insights into Actions.
Proceedings of the Process Mining Handbook, 2022

2021
A Novel Token-Based Replay Technique to Speed Up Conformance Checking and Process Enhancement.
Trans. Petri Nets Other Model. Concurr., 2021

Automated model analysis tools and techniques presented at FASE 2019.
Int. J. Softw. Tools Technol. Transf., 2021

Conformance checking over uncertain event data.
Inf. Syst., 2021

Stochastic process mining: Earth movers' stochastic conformance.
Inf. Syst., 2021

Inferring Unobserved Events in Systems with Shared Resources and Queues.
Fundam. Informaticae, 2021

Free-choice Nets with Home Clusters are Lucent.
Fundam. Informaticae, 2021

Group-based privacy preservation techniques for process mining.
Data Knowl. Eng., 2021

Feature Recommendation for Structural Equation Model Discovery in Process Mining.
CoRR, 2021

Freezing Sub-Models During Incremental Process Discovery: Extended Version.
CoRR, 2021

Process Comparison Using Object-Centric Process Cubes.
CoRR, 2021

A Python Extension to Simulate Petri nets in Process Mining.
CoRR, 2021

The impact of biased sampling of event logs on the performance of process discovery.
Computing, 2021

Special issue on business process intelligence.
Computing, 2021

Welcome to Economies in IS!
Bus. Inf. Syst. Eng., 2021

Opportunities and Challenges for Process Mining in Organizations: Results of a Delphi Study.
Bus. Inf. Syst. Eng., 2021

Seven Paradoxes of Business Process Management in a Hyper-Connected World.
Bus. Inf. Syst. Eng., 2021

Expl(AI)n It to Me - Explainable AI and Information Systems Research.
Bus. Inf. Syst. Eng., 2021

Resilient Digital Twins.
Bus. Inf. Syst. Eng., 2021

Federated Process Mining: Exploiting Event Data Across Organizational Boundaries.
Proceedings of the IEEE International Conference on Smart Data Services, 2021

SIMPT: Process Improvement Using Interactive Simulation of Time-Aware Process Trees.
Proceedings of the Research Challenges in Information Science, 2021

Process Prediction with Digital Twins.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

Object-Centric Process Mining: An Introduction.
Proceedings of the Formal Methods for an Informal World, 2021

Concurrency and Objects Matter! Disentangling the Fabric of Real Operational Processes to Create Digital Twins.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021

Interactive Process Improvement Using Simulation of Enriched Process Trees.
Proceedings of the Service-Oriented Computing - ICSOC 2021 Workshops, 2021

Rethinking the Input for Process Mining: Insights from the XES Survey and Workshop.
Proceedings of the Process Mining Workshops - ICPM 2021 International Workshops, Eindhoven, The Netherlands, October 31, 2021

Visualizing Trace Variants from Partially Ordered Event Data.
Proceedings of the Process Mining Workshops - ICPM 2021 International Workshops, Eindhoven, The Netherlands, October 31, 2021

Event Log Sampling for Predictive Monitoring.
Proceedings of the Process Mining Workshops - ICPM 2021 International Workshops, Eindhoven, The Netherlands, October 31, 2021

Remaining Time Prediction for Processes with Inter-case Dynamics.
Proceedings of the Process Mining Workshops - ICPM 2021 International Workshops, Eindhoven, The Netherlands, October 31, 2021

Trustworthy Artificial Intelligence and Process Mining: Challenges and Opportunities.
Proceedings of the Process Mining Workshops - ICPM 2021 International Workshops, Eindhoven, The Netherlands, October 31, 2021

Realizing A Digital Twin of An Organization Using Action-oriented Process Mining.
Proceedings of the 3rd International Conference on Process Mining, 2021

An Activity Instance Based Hierarchical Framework for Event Abstraction.
Proceedings of the 3rd International Conference on Process Mining, 2021

Analyzing Multi-level BOM-Structured Event Data.
Proceedings of the Process Mining Workshops - ICPM 2021 International Workshops, Eindhoven, The Netherlands, October 31, 2021

An Event Data Extraction Approach from SAP ERP for Process Mining.
Proceedings of the Process Mining Workshops - ICPM 2021 International Workshops, Eindhoven, The Netherlands, October 31, 2021

Towards a Natural Language Conversational Interface for Process Mining.
Proceedings of the Process Mining Workshops - ICPM 2021 International Workshops, Eindhoven, The Netherlands, October 31, 2021

Precision and Fitness in Object-Centric Process Mining.
Proceedings of the 3rd International Conference on Process Mining, 2021

Probability Estimation of Uncertain Process Trace Realizations.
Proceedings of the Process Mining Workshops - ICPM 2021 International Workshops, Eindhoven, The Netherlands, October 31, 2021

Using Free-Choice Nets for Process Mining and Business Process Management.
Proceedings of the 16th Conference on Computer Science and Intelligence Systems, 2021

Freezing Sub-models During Incremental Process Discovery.
Proceedings of the Conceptual Modeling - 40th International Conference, 2021

Data-Driven Process Performance Measurement and Prediction: A Process-Tree-Based Approach.
Proceedings of the Intelligent Information Systems - CAiSE Forum 2021, Melbourne, VIC, Australia, June 28, 2021

Case Level Counterfactual Reasoning in Process Mining.
Proceedings of the Intelligent Information Systems - CAiSE Forum 2021, Melbourne, VIC, Australia, June 28, 2021

Extracting Process Features from Event Logs to Learn Coarse-Grained Simulation Models.
Proceedings of the Advanced Information Systems Engineering, 2021

Towards Reliable Business Process Simulation: A Framework to Integrate ERP Systems.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2021

Seeing the Forest for the Trees: Group-Oriented Workforce Analytics.
Proceedings of the Business Process Management - 19th International Conference, 2021

PC4PM: A Tool for Privacy/Confidentiality Preservation in Process Mining.
Proceedings of the Best Dissertation Award, Doctoral Consortium, and Demonstration & Resources Track at BPM 2021 co-located with 19th International Conference on Business Process Management (BPM 2021), Rome, Italy, September 6th - to, 2021

Privacy-Preserving Continuous Event Data Publishing.
Proceedings of the Business Process Management Forum, 2021

Forward-Looking Process Mining.
Proceedings of the Best Dissertation Award, Doctoral Consortium, and Demonstration & Resources Track at BPM 2021 co-located with 19th International Conference on Business Process Management (BPM 2021), Rome, Italy, September 6th - to, 2021

An XES Extension for Uncertain Event Data.
Proceedings of the Best Dissertation Award, Doctoral Consortium, and Demonstration & Resources Track at BPM 2021 co-located with 19th International Conference on Business Process Management (BPM 2021), Rome, Italy, September 6th - to, 2021

Process Mining on Blockchain Data: A Case Study of Augur.
Proceedings of the Business Process Management - 19th International Conference, 2021

Event Logs of Ethereum-Based Applications: A Collection of Resources for Process Mining on Blockchain Data.
Proceedings of the Best Dissertation Award, Doctoral Consortium, and Demonstration & Resources Track at BPM 2021 co-located with 19th International Conference on Business Process Management (BPM 2021), Rome, Italy, September 6th - to, 2021

A Framework for Explainable Concept Drift Detection in Process Mining.
Proceedings of the Business Process Management - 19th International Conference, 2021

May I Take Your Order? - On the Interplay Between Time and Order in Process Mining.
Proceedings of the Business Process Management Workshops, 2021

Optimization-Based Business Process Model Matching.
Proceedings of the 24th International Conference on Business Information Systems, 2021

Text-Aware Predictive Monitoring of Business Processes.
Proceedings of the 24th International Conference on Business Information Systems, 2021

Analyzing Medical Data with Process Mining: A COVID-19 Case Study.
Proceedings of the Business Information Systems Workshops, 2021

Cortado - An Interactive Tool for Data-Driven Process Discovery and Modeling.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021

PROVED: A Tool for Graph Representation and Analysis of Uncertain Event Data.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021

Reduction Using Induced Subnets to Systematically Prove Properties for Free-Choice Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021

OCEL: A Standard for Object-Centric Event Logs.
Proceedings of the New Trends in Database and Information Systems, 2021

Accurate Predictions, Invalid Recommendations: Lessons Learned at the Dutch Social Security Institute UWV.
Proceedings of the Business Process Management Cases Vol. 2, Digital Transformation, 2021

2020
Scalable Discovery of Hybrid Process Models in a Cloud Computing Environment.
IEEE Trans. Serv. Comput., 2020

Case notion discovery and recommendation: automated event log building on databases.
Knowl. Inf. Syst., 2020

Discovering Object-centric Petri Nets.
Fundam. Informaticae, 2020

OrgMining 2.0: A Novel Framework for Organizational Model Mining from Event Logs.
CoRR, 2020

JXES: JSON Support for the XES Event Log Standard.
CoRR, 2020

Efficient Logging for Blockchain Applications.
CoRR, 2020

Improving the performance of process discovery algorithms by instance selection.
Comput. Sci. Inf. Syst., 2020

Citizen Science in Information Systems Research.
Bus. Inf. Syst. Eng., 2020

Research in the Attention Economy.
Bus. Inf. Syst. Eng., 2020

Impact of COVID-19 on BISE Research and Education.
Bus. Inf. Syst. Eng., 2020

Efficient Time and Space Representation of Uncertain Event Data.
Algorithms, 2020

Resource-centric process mining: clustering using local process models.
Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Incremental Discovery of Hierarchical Process Models.
Proceedings of the Research Challenges in Information Science, 2020

TLKC-Privacy Model for Process Mining.
Proceedings of the Research Challenges in Information Science, 2020

Supporting Decisions in Production Line Processes by Combining Process Mining and System Dynamics.
Proceedings of the Intelligent Human Systems Integration 2020, 2020

Process Mining as the Superglue between Data and Process Management.
Proceedings of the 15th International Conference on Software Technologies, 2020

Stage-Based Process Performance Analysis.
Proceedings of the Service-Oriented Computing - ICSOC 2020 Workshops, 2020

Detecting System-Level Behavior Leading To Dynamic Bottlenecks.
Proceedings of the 2nd International Conference on Process Mining, 2020

Alignment Approximation for Process Trees.
Proceedings of the Process Mining Workshops, 2020

Conformance Checking Approximation Using Simulation.
Proceedings of the 2nd International Conference on Process Mining, 2020

Towards Quantifying Privacy in Process Mining.
Proceedings of the Process Mining Workshops, 2020

Multi-Dimensional Performance Analysis and Monitoring Using Integrated Performance Spectra.
Proceedings of the ICPM Doctoral Consortium and Tool Demonstration Track 2020 co-located with the 2nd International Conference on Process Mining (ICPM 2020), 2020

Events Put into Context (EPiC).
Proceedings of the 2nd International Conference on Process Mining, 2020

Time-aware Concept Drift Detection Using the Earth Mover's Distance.
Proceedings of the 2nd International Conference on Process Mining, 2020

An Open-Source Integration of Process Mining Features Into the Camunda Workflow Engine: Data Extraction and Challenges.
Proceedings of the ICPM Doctoral Consortium and Tool Demonstration Track 2020 co-located with the 2nd International Conference on Process Mining (ICPM 2020), 2020

Semi-automated Time-Granularity Detection for Data-Driven Simulation Using Process Mining and System Dynamics.
Proceedings of the Conceptual Modeling - 39th International Conference, 2020

Removing Operational Friction Using Process Mining: Challenges Provided by the Internet of Production (IoP).
Proceedings of the Data Management Technologies and Applications, 2020

On the Pareto Principle in Process Mining, Task Mining, and Robotic Process Automation.
Proceedings of the 9th International Conference on Data Science, 2020

Conformance Checking Approximation Using Subset Selection and Edit Distance.
Proceedings of the Advanced Information Systems Engineering, 2020

Prototype Selection Using Clustering and Conformance Metrics for Process Discovery.
Proceedings of the Business Process Management Workshops, 2020

Practical Aspect of Privacy-Preserving Data Publishing in Process Mining.
Proceedings of the Best Dissertation Award, 2020

Privacy-Preserving Data Publishing in Process Mining.
Proceedings of the Business Process Management Forum, 2020

Root Cause Analysis in Process Mining Using Structural Equation Models.
Proceedings of the Business Process Management Workshops, 2020

PMSD: Data-Driven Simulation Using System Dynamics and Process Mining.
Proceedings of the Best Dissertation Award, 2020

A General Framework for Action-Oriented Process Mining.
Proceedings of the Business Process Management Workshops, 2020

Improving the State-Space Traversal of the eST-Miner by Exploiting Underlying Log Structures.
Proceedings of the Business Process Management Workshops, 2020

Supporting Automatic System Dynamics Model Generation for Simulation in the Context of Process Mining.
Proceedings of the Business Information Systems - 23rd International Conference, 2020

Efficient Construction of Behavior Graphs for Uncertain Event Data.
Proceedings of the Business Information Systems - 23rd International Conference, 2020

Removing Implicit Places Using Regions for Process Discovery.
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2020 Satellite event of the 41st International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2020, 2020

Repairing Event Logs with Missing Events to Support Performance Analysis of Systems with Shared Resources.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

Visualizing Token Flows Using Interactive Performance Spectra.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

The Data Science Revolution - How Learning Machines Changed the Way We Work and Do Business.
Proceedings of the Unimagined Futures - ICT Opportunities and Challenges, 2020

2019
On the application of sequential pattern mining primitives to process discovery: Overview, outlook and opportunity identification.
WIREs Data Mining Knowl. Discov., 2019

Evaluating Conformance Measures in Process Mining Using Conformance Propositions.
Trans. Petri Nets Other Model. Concurr., 2019

A Tour in Process Mining: From Practice to Algorithmic Challenges.
Trans. Petri Nets Other Model. Concurr., 2019

Connecting databases with process mining: a meta model and toolset.
Softw. Syst. Model., 2019

Discovering more precise process models from event logs by filtering out chaotic activities.
J. Intell. Inf. Syst., 2019

Generating time-based label refinements to discover more precise process models.
J. Ambient Intell. Smart Environ., 2019

Online conformance checking: relating event streams to process models using prefix-alignments.
Int. J. Data Sci. Anal., 2019

Lucent Process Models and Translucent Event Logs.
Fundam. Informaticae, 2019

Repairing Outlier Behaviour in Event Logs using Contextual Behaviour.
Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2019

Prototype Selection Based on Clustering and Conformance Metrics for Model Discovery.
CoRR, 2019

Evaluating Conformance Measures in Process Mining using Conformance Propositions (Extended version).
CoRR, 2019

Process Mining for Python (PM4Py): Bridging the Gap Between Process- and Data Science.
CoRR, 2019

Discovering high-level BPMN process models from event data.
Bus. Process. Manag. J., 2019

Introducing Registered Reports to the Information Systems Community.
Bus. Inf. Syst. Eng., 2019

Blind Spots in Business and Information Systems Engineering.
Bus. Inf. Syst. Eng., 2019

Guided Interaction Exploration and Performance Analysis in Artifact-Centric Process Models.
Bus. Inf. Syst. Eng., 2019

Big Digital Platforms - Growth, Impact, and Challenges.
Bus. Inf. Syst. Eng., 2019

Supporting Confidentiality in Process Mining Using Abstraction and Encryption.
Proceedings of the Data-Driven Process Discovery and Analysis, 2019

Extracting Multiple Viewpoint Models from Relational Databases.
Proceedings of the Data-Driven Process Discovery and Analysis, 2019

Object-Centric Process Mining: Dealing with Divergence and Convergence in Event Data.
Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

Object-centric behavioral constraint models: a hybrid model for behavioral and data perspectives.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Fairness-Aware Process Mining.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2019 Conferences, 2019

Scenario-Based Prediction of Business Processes Using System Dynamics.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2019 Conferences, 2019

Automated Robotic Process Automation: A Self-Learning Approach.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2019 Conferences, 2019

Mining Uncertain Event Data in Process Mining.
Proceedings of the International Conference on Process Mining, 2019

Predictive Performance Monitoring of Material Handling Systems Using the Performance Spectrum.
Proceedings of the International Conference on Process Mining, 2019

A Model-based Framework to Automatically Generate Semi-real Data for Evaluating Data Analysis Techniques.
Proceedings of the 21st International Conference on Enterprise Information Systems, 2019

A General Framework to Identify Software Components from Execution Data.
Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

BIpm: Combining BI and Process Mining.
Proceedings of the 8th International Conference on Data Science, 2019

A practitioner's guide to process mining: Limitations of the directly-follows graph.
Proceedings of the CENTERIS 2019 - International Conference on ENTERprise Information Systems / ProjMAN 2019 - International Conference on Project MANagement / HCist 2019, 2019

Filtering Toolkit: Interactively Filter Event Logs to Improve the Quality of Discovered Models.
Proceedings of the Dissertation Award, 2019

Mining Roles from Event Logs While Preserving Privacy.
Proceedings of the Business Process Management Workshops, 2019

Towards Privacy-Preserving Process Mining in Healthcare.
Proceedings of the Business Process Management Workshops, 2019

Discovering Process Models from Uncertain Event Data.
Proceedings of the Business Process Management Workshops, 2019

Finding Uniwired Petri Nets Using eST-Miner.
Proceedings of the Business Process Management Workshops, 2019

A Generic Approach for Process Performance Analysis Using Bipartite Graph Matching.
Proceedings of the Business Process Management Workshops, 2019

Earth Movers' Stochastic Conformance Checking.
Proceedings of the Business Process Management Forum, 2019

Mining Blockchain Processes: Extracting Process Mining Data from Blockchain Applications.
Proceedings of the Business Process Management: Blockchain and Central and Eastern Europe Forum, 2019

What if process predictions are not followed by good recommendations?
Proceedings of the Industry Forum at BPM 2019 co-located with 17th International Conference on Business Process Management (BPM 2019), 2019

PM4Py Web Services: Easy Development, Integration and Deployment of Process Mining Features in any Application Stack.
Proceedings of the Dissertation Award, 2019

Evaluating the Effectiveness of Interactive Process Discovery in Healthcare: A Case Study.
Proceedings of the Business Process Management Workshops, 2019

Modeling and Reasoning over Declarative Data-Aware Processes with Object-Centric Behavioral Constraints.
Proceedings of the Business Process Management - 17th International Conference, 2019

Everything You Always Wanted to Know About Petri Nets, but Were Afraid to Ask.
Proceedings of the Business Process Management - 17th International Conference, 2019

Enriching Data Models with Behavioral Constraints.
Proceedings of the Ontology Makes Sense - Essays in honor of Nicola Guarino, 2019

Finding Complex Process-Structures by Exploiting the Token-Game.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

Reviving Token-based Replay: Increasing Speed While Improving Diagnostics.
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2019 Satellite event of the conferences: 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and 19th International Conference on Application of Concurrency to System Design ACSD 2019, 2019

The Impact of Event Log Subset Selection on the Performance of Process Discovery Algorithms.
Proceedings of the New Trends in Databases and Information Systems, 2019

Discovering Petri Nets: A Personal Journey.
Proceedings of the Carl Adam Petri: Ideas, Personality, Impact, 2019

Structuring Behavior or Not, That is the Question.
Proceedings of the Art of Structuring, 2019

2018
Desire Lines in Big Data.
Proceedings of the Encyclopedia of Social Network Analysis and Mining, 2nd Edition, 2018

Workflow Patterns.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Workflow Model Analysis.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Process Mining.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Petri Nets.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Orchestration.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Coordination.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Composition.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Choreography.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Business Process Modeling Notation.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Business Process Management.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Business Process Execution Language.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Process discovery from event data: Relating models and logs through abstractions.
WIREs Data Mining Knowl. Discov., 2018

Special Issue on Service-Oriented Collaborative Computing and Applications.
IEEE Trans. Serv. Comput., 2018

Blockchains for Business Process Management - Challenges and Opportunities.
ACM Trans. Manag. Inf. Syst., 2018

Scalable process discovery and conformance checking.
Softw. Syst. Model., 2018

Event stream-based process discovery using abstract representations.
Knowl. Inf. Syst., 2018

Recomposing conformance: Closing the circle on decomposed alignment-based conformance checking in process mining.
Inf. Sci., 2018

Interest-driven discovery of local process models.
Inf. Syst., 2018

Guided Process Discovery - A pattern-based approach.
Inf. Syst., 2018

Process variant comparison: Using event logs to detect differences in behavior and business rules.
Inf. Syst., 2018

The imprecisions of precision measures in process mining.
Inf. Process. Lett., 2018

Preface.
Fundam. Informaticae, 2018

StarStar Models: Process Analysis on top of Databases.
CoRR, 2018

An Integrated Framework for Process Discovery Algorithm Evaluation.
CoRR, 2018

Discovering workflow nets using integer linear programming.
Computing, 2018

Linking data and process perspectives for conformance analysis.
Comput. Secur., 2018

Spreadsheets for business process management: Using process mining to deal with "events" rather than "numbers"?
Bus. Process. Manag. J., 2018

Why the Community Should Care About Technology-Centric Journal Rankings.
Bus. Inf. Syst. Eng., 2018

Robotic Process Automation.
Bus. Inf. Syst. Eng., 2018

Views on the Past, Present, and Future of Business and Information Systems Engineering.
Bus. Inf. Syst. Eng., 2018

Business Process Analytics and Big Data Systems: A Roadmap to Bridge the Gap.
IEEE Access, 2018

The Statechart Workbench: Enabling scalable software event log analysis using process mining.
Proceedings of the 25th International Conference on Software Analysis, 2018

Recursion aware modeling and discovery for hierarchical software event log analysis.
Proceedings of the 25th International Conference on Software Analysis, 2018

Ensuring Confidentiality in Process Mining.
Proceedings of the 8th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2018), 2018

StarStar Models: Using Events at Database Level for Process Analysis.
Proceedings of the 8th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2018), 2018

Process mining and simulation: a match made in heaven!
Proceedings of the 50th Computer Simulation Conference, 2018

Similarity resonance for improving process model matching accuracy.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

ProDiGy : Human-in-the-loop process discovery.
Proceedings of the 12th International Conference on Research Challenges in Information Science, 2018

Applying Sequence Mining for Outlier Detection in Process Mining.
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

Lifecycle-Based Process Performance Analysis.
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

Component interface identification and behavioral model discovery from software execution data.
Proceedings of the 26th Conference on Program Comprehension, 2018

Hierarchical performance analysis for process mining.
Proceedings of the 2018 International Conference on Software and System Process, 2018

Mining Local Process Models with Constraints Efficiently: Applications to the Analysis of Smart Home Data.
Proceedings of the 14th International Conference on Intelligent Environments, 2018

Responsible Data Science in a Dynamic World - The Four Essential Elements of Data Science.
Proceedings of the Internet of Things. Information Processing in an Increasingly Connected World, 2018

Configurable Event Correlation for Process Discovery from Object-Centric Event Data.
Proceedings of the 2018 IEEE International Conference on Web Services, 2018

Software Process Analysis Methodology - A Methodology Based on Lessons Learned in Embracing Legacy Software.
Proceedings of the 2018 IEEE International Conference on Software Maintenance and Evolution, 2018

A general framework to detect behavioral design patterns.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Data-Driven Usability Test Scenario Creation.
Proceedings of the Human-Centered Software Engineering, 2018

Incremental Computation of Synthesis Rules for Free-Choice Petri Nets.
Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

Interactive Data-Driven Process Model Construction.
Proceedings of the Conceptual Modeling - 37th International Conference, 2018

Detecting Behavioral Design Patterns from Software Execution Data.
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2018

A Framework to Support Behavioral Design Pattern Detection from Software Execution Data.
Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018

Conceptual Schema Transformation in Ontology-Based Data Access.
Proceedings of the Knowledge Engineering and Knowledge Management, 2018

Fast Conformance Analysis Based on Activity Log Abstraction.
Proceedings of the 22nd IEEE International Enterprise Distributed Object Computing Conference, 2018

Conceptual Schema Transformation in Ontology-based Data Access (Extended Abstract).
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

Extracting Object-Centric Event Logs to Support Process Mining on Databases.
Proceedings of the Information Systems in the Big Data Era, 2018

Detection and Interactive Repair of Event Ordering Imperfection in Process Logs.
Proceedings of the Advanced Information Systems Engineering, 2018

Improving Merging Conditions for Recomposing Conformance Checking.
Proceedings of the Business Process Management Workshops, 2018

Multi-instance Mining: Discovering Synchronisation in Artifact-Centric Processes.
Proceedings of the Business Process Management Workshops, 2018

Unbiased, Fine-Grained Description of Processes Performance from Event Data.
Proceedings of the Business Process Management - 16th International Conference, 2018

The Performance Spectrum Miner: Visual Analytics for Fine-Grained Performance Analysis of Processes.
Proceedings of the Dissertation Award, 2018

Maximizing Synchronization for Aligning Observed and Modelled Behaviour.
Proceedings of the Business Process Management - 16th International Conference, 2018

Mining Hybrid Business Process Models: A Quest for Better Precision.
Proceedings of the Business Information Systems - 21st International Conference, 2018

Repairing Outlier Behaviour in Event Logs.
Proceedings of the Business Information Systems - 21st International Conference, 2018

Fast Incremental Conformance Analysis for Interactive Process Discovery.
Proceedings of the Business Information Systems - 21st International Conference, 2018

Discovering the "Glue" Connecting Activities - Exploiting Monotonicity to Learn Places Faster.
Proceedings of the It's All About Coordination, 2018

LocalProcessModelDiscovery: Bringing Petri Nets to the Pattern Mining World.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

Relating Process Models and Event Logs - 21 Conformance Propositions.
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design ACSD 2018, 2018

Markings in Perpetual Free-Choice Nets Are Fully Characterized by Their Enabled Transitions.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

Symbolically Aligning Observed and Modelled Behaviour.
Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

2017
Impact-Driven Process Model Repair.
ACM Trans. Softw. Eng. Methodol., 2017

Mining Resource Profiles from Event Logs.
ACM Trans. Manag. Inf. Syst., 2017

Process mining using BPMN: relating event logs and process models.
Softw. Syst. Model., 2017

Generating event logs for high-level process models.
Simul. Model. Pract. Theory, 2017

Change visualisation: Analysing the resource and timing differences between two event logs.
Inf. Syst., 2017

A framework for detecting deviations in complex event logs.
Intell. Data Anal., 2017

From Low-Level Events to Activities - A Pattern-Based Approach.
EMISA Forum, 2017

ProcessProfiler3D: A visualisation framework for log-based process performance comparison.
Decis. Support Syst., 2017

Discovering work prioritisation patterns from event logs.
Decis. Support Syst., 2017

Process querying: Enabling business intelligence through query-based process analytics.
Decis. Support Syst., 2017

Business Process Variability Modeling: A Survey.
ACM Comput. Surv., 2017

Human Performance-Aware Scheduling and Routing of a Multi-Skilled Workforce.
Complex Syst. Informatics Model. Q., 2017

Recursion Aware Modeling and Discovery For Hierarchical Software Event Log Analysis (Extended).
CoRR, 2017

Resource Usage Analysis from a Different Perspective on MOOC Dropout.
CoRR, 2017

Discovering Relaxed Sound Workflow Nets using Integer Linear Programming.
CoRR, 2017

Mining Process Model Descriptions of Daily Life through Event Abstraction.
CoRR, 2017

Time-Based Label Refinements to Discover More Precise Process Models.
CoRR, 2017

Object-Centric Behavioral Constraints.
CoRR, 2017

RapidProM: Mine Your Processes and Not Just Your Data.
CoRR, 2017

Divide and Conquer: A Tool Framework for Supporting Decomposed Discovery in Process Mining.
Comput. J., 2017

IEEE 1849: The XES Standard: The Second IEEE Standard Sponsored by IEEE Computational Intelligence Society [Society Briefs].
IEEE Comput. Intell. Mag., 2017

Trans-National Joint Research Projects - Defying the Odds of National Inter-University Competition.
Bus. Inf. Syst. Eng., 2017

Business Analytics and Data Science: Once Again?
Bus. Inf. Syst. Eng., 2017

Responsible Data Science.
Bus. Inf. Syst. Eng., 2017

Using Event Logs for Local Correction of Process Models.
Autom. Control. Comput. Sci., 2017

Guided Interaction Exploration in Artifact-centric Process Models.
Proceedings of the 19th IEEE Conference on Business Informatics, 2017

Semi-supervised Log Pattern Detection and Exploration Using Event Concurrence and Contextual Information.
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2017 Conferences, 2017

Modeling and Discovering Cancelation Behavior.
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2017 Conferences, 2017

Finding Process Variants in Event Logs - (Short Paper).
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2017 Conferences, 2017

Object-Centric Behavioral Constraints: Integrating Data and Declarative Process Modelling.
Proceedings of the 30th International Workshop on Description Logics, 2017

Efficient Event Correlation over Distributed Systems.
Proceedings of the 17th IEEE/ACM International Symposium on Cluster, 2017

Discovering Social Networks Instantly: Moving Process Mining Computations to the Database and Data Entry Time.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2017

Data-Driven Process Discovery - Revealing Conditional Infrequent Behavior from Event Logs.
Proceedings of the Advanced Information Systems Engineering, 2017

Discovering Causal Factors Explaining Business Process Performance Variation.
Proceedings of the Advanced Information Systems Engineering, 2017

Discovering Hierarchical Consolidated Models from Process Families.
Proceedings of the Advanced Information Systems Engineering, 2017

Recurrent Process Mining with Live Event Data.
Proceedings of the Business Process Management Workshops, 2017

Improving Process Discovery Results by Filtering Outliers Using Conditional Behavioural Probabilities.
Proceedings of the Business Process Management Workshops, 2017

ProcessProfiler3D: A Tool for Visualising Performance Differences Between Process Cohorts and Process Instances.
Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017), 2017

Replay using Recomposition: Alignment-Based Conformance Checking in the Large.
Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017), 2017

E-Government Services: Comparing Real and Expected User Behavior.
Proceedings of the Business Process Management Workshops, 2017

Visual Analytics for Soundness Verification of Process Models.
Proceedings of the Business Process Management Workshops, 2017

Learning Hybrid Process Models from Events - Process Discovery Without Faking Confidence.
Proceedings of the Business Process Management - 15th International Conference, 2017

Business Process Comparison: A Methodology and Case Study.
Proceedings of the Business Information Systems - 20th International Conference, 2017

Subgroup Discovery in Process Mining.
Proceedings of the Business Information Systems - 20th International Conference, 2017

Automatic Discovery of Object-Centric Behavioral Constraint Models.
Proceedings of the Business Information Systems - 20th International Conference, 2017

Enabling Interactive Process Analysis with Process Mining and Visual Analytics.
Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2017), 2017

Process Model Repair by Detecting Unfitting Fragments.
Proceedings of the Supplementary Proceedings of the Sixth International Conference on Analysis of Images, Social Networks and Texts (AIST 2017), Moscow, Russia, July 27, 2017

2016
Scientific workflows for process mining: building blocks, scenarios, and implementation.
Int. J. Softw. Tools Technol. Transf., 2016

Turning event logs into process movies: animating what has really happened.
Softw. Syst. Model., 2016

Mining local process models.
J. Innov. Digit. Ecosyst., 2016

Analyzing inter-organizational business processes - Process mining and business performance analysis using electronic data interchange messages.
Inf. Syst. E Bus. Manag., 2016

Evaluating and predicting overall process risk using event logs.
Inf. Sci., 2016

A general process mining framework for correlating, predicting and clustering dynamic behavior based on event logs.
Inf. Syst., 2016

The effectiveness of workflow management systems: A longitudinal study.
Int. J. Inf. Manag., 2016

Building instance graphs for highly variable processes.
Expert Syst. Appl., 2016

Balanced multi-perspective checking of process conformance.
Computing, 2016

Revising history for cost-informed process improvement.
Computing, 2016

Disciplinary Pluralism, Flagship Conferences, and Journal Submissions.
Bus. Inf. Syst. Eng., 2016

BISE and the Engineering Sciences.
Bus. Inf. Syst. Eng., 2016

Business Process Management - Don't Forget to Improve the Process!
Bus. Inf. Syst. Eng., 2016

Open Research in Business and Information Systems Engineering.
Bus. Inf. Syst. Eng., 2016

Heuristic approaches for generating Local Process Models through log projections.
Proceedings of the 2016 IEEE Symposium Series on Computational Intelligence, 2016

Component behavior discovery from software execution data.
Proceedings of the 2016 IEEE Symposium Series on Computational Intelligence, 2016

DB-XES: Enabling Process Discovery in the Large.
Proceedings of the Data-Driven Process Discovery and Analysis, 2016

Accelerating Process Mining using Relational Databases.
Proceedings of the 6th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2016), 2016

Enabling process mining on sensor data from smart products.
Proceedings of the Tenth IEEE International Conference on Research Challenges in Information Science, 2016

Online Discovery of Cooperative Structures in Business Processes.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2016 Conferences, 2016

A Generic Framework for Context-Aware Process Performance Analysis.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2016 Conferences, 2016

Log-based Evaluation of Label Splits for Process Models.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 20th International Conference KES-2016, 2016

Event Abstraction for Process Mining Using Supervised Learning Techniques.
Proceedings of SAI Intelligent Systems Conference (IntelliSys) 2016, 2016

Responsible Data Science: Using Event Data in a "People Friendly" Manner.
Proceedings of the Enterprise Information Systems - 18th International Conference, 2016

Green Data Science - Using Big Data in an "Environmentally Friendly" Manner.
Proceedings of the ICEIS 2016, 2016

Decision Mining Revisited - Discovering Overlapping Rules.
Proceedings of the Advanced Information Systems Engineering, 2016

A Visual Approach to Spot Statistically-Significant Differences in Event Logs Based on Process Metrics.
Proceedings of the Advanced Information Systems Engineering, 2016

Everything You Always Wanted to Know About Your Process, but Did Not Know How to Ask.
Proceedings of the Business Process Management Workshops, 2016

Handling Duplicated Tasks in Process Discovery by Refining Event Labels.
Proceedings of the Business Process Management - 14th International Conference, 2016

Interactively Exploring Logs and Mining Models with Clustering, Filtering, and Relabeling.
Proceedings of the BPM Demo Track 2016 Co-located with the 14th International Conference on Business Process Management (BPM 2016), 2016

Composite State Machine Miner: Discovering and Exploring Multi-perspective Processes.
Proceedings of the BPM Demo Track 2016 Co-located with the 14th International Conference on Business Process Management (BPM 2016), 2016

Discovering and Exploring State-Based Models for Multi-perspective Processes.
Proceedings of the Business Process Management - 14th International Conference, 2016

Merging Alignments for Decomposed Replay.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016

Process Mining - Data Science in Action, Second Edition
Springer, ISBN: 978-3-662-49851-4, 2016

Workflow Patterns: The Definitive Guide
MIT Press, ISBN: 9780262029827, 2016

2015
Process Mining in Healthcare - Evaluating and Exploiting Operational Healthcare Processes
Springer Briefs in Business Process Management, Springer, ISBN: 978-3-319-16071-9, 2015

Business Process Simulation Survival Guide.
Proceedings of the Handbook on Business Process Management 1, 2015

Processes Meet Big Data: Connecting Data Science with Process Science.
IEEE Trans. Serv. Comput., 2015

Business process management as the "Killer App" for Petri nets.
Softw. Syst. Model., 2015

Measuring precision of modeled behavior.
Inf. Syst. E Bus. Manag., 2015

Compliance monitoring in business processes: Functionalities, application, and tool-support.
Inf. Syst., 2015

An alignment-based framework to check the conformance of declarative process models and to preprocess event-log data.
Inf. Syst., 2015

Model repair - aligning process models to reality.
Inf. Syst., 2015

Declarative process mining in healthcare.
Expert Syst. Appl., 2015

Event interval analysis: Why do processes take time?
Decis. Support Syst., 2015

A recommendation system for predicting risks across multiple business process instances.
Decis. Support Syst., 2015

Learning Analytics on Coursera Event Data: A Process Mining Approach.
Proceedings of the 5th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2015), 2015

Detecting Changes in Process Behavior Using Comparative Case Clustering.
Proceedings of the Data-Driven Process Discovery and Analysis, 2015

Detecting Change in Processes Using Comparative Trace Clustering.
Proceedings of the 5th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2015), 2015

Using Domain Knowledge to Enhance Process Mining Results.
Proceedings of the Data-Driven Process Discovery and Analysis, 2015

Enhancing Process Mining Results using Domain Knowledge.
Proceedings of the 5th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2015), 2015

Business Process Reporting Using Process Mining, Analytic Workflows and Process Cubes: A Case Study in Education.
Proceedings of the Data-Driven Process Discovery and Analysis, 2015

Exploiting Process Cubes, Analytic Workflows and Process Mining for Business Process Reporting: A Case Study in Education.
Proceedings of the 5th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2015), 2015

Towards Process Instances Building for Spaghetti Processes.
Proceedings of the 23rd Italian Symposium on Advanced Database Systems, 2015

Process mining in software systems: Discovering real-life business transactions and process models from distributed systems.
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Big software on the run: in vivo software analytics based on process mining (keynote).
Proceedings of the 2015 International Conference on Software and System Process, 2015

Change your history: Learning from event logs to improve processes.
Proceedings of the 19th IEEE International Conference on Computer Supported Cooperative Work in Design, 2015

Scalable Process Discovery with Guarantees.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2015

KPI-based Activity Planning for People Working in Flexible Processes.
Proceedings of the CAiSE 2015 Forum at the 27th International Conference on Advanced Information Systems Engineering co-located with 27th International Conference on Advanced Information Systems Engineering (CAiSE 2015), 2015

PM ^2 : A Process Mining Project Methodology.
Proceedings of the Advanced Information Systems Engineering, 2015

Multidimensional Process Mining Using Process Cubes.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2015

Avoiding Over-Fitting in ILP-Based Process Discovery.
Proceedings of the Business Process Management - 13th International Conference, 2015

Know What You Stream: Generating Event Streams from CPN Models in ProM 6.
Proceedings of the BPM Demo Session 2015 Co-located with the 13th International Conference on Business Process Management (BPM 2015), 2015

Discovering Queues from Event Logs with Varying Levels of Information.
Proceedings of the Business Process Management Workshops - BPM 2015, 13th International Workshops, Innsbruck, Austria, August 31, 2015

A Structural Model Comparison for Finding the Best Performing Models in a Collection.
Proceedings of the Business Process Management - 13th International Conference, 2015

Process Mining on Databases: Unearthing Historical Data from Redo Logs.
Proceedings of the Business Process Management - 13th International Conference, 2015

Measuring the Precision of Multi-perspective Process Models.
Proceedings of the Business Process Management Workshops - BPM 2015, 13th International Workshops, Innsbruck, Austria, August 31, 2015

Detecting Deviating Behaviors Without Models.
Proceedings of the Business Process Management Workshops - BPM 2015, 13th International Workshops, Innsbruck, Austria, August 31, 2015

Using Life Cycle Information in Process Discovery.
Proceedings of the Business Process Management Workshops - BPM 2015, 13th International Workshops, Innsbruck, Austria, August 31, 2015

BPMNDiffViz: A Tool for BPMN Models Comparison.
Proceedings of the BPM Demo Session 2015 Co-located with the 13th International Conference on Business Process Management (BPM 2015), 2015

Handling Big(ger) Logs: Connecting ProM 6 to Apache Hadoop.
Proceedings of the BPM Demo Session 2015 Co-located with the 13th International Conference on Business Process Management (BPM 2015), 2015

Ontology-Driven Extraction of Event Logs from Relational Databases.
Proceedings of the Business Process Management Workshops - BPM 2015, 13th International Workshops, Innsbruck, Austria, August 31, 2015

Change Point Detection and Dealing with Gradual and Multi-order Dynamics in Process Mining.
Proceedings of the Perspectives in Business Informatics Research, 2015

Assessing Process Discovery Scalability in Data Intensive Environments.
Proceedings of the 2nd IEEE/ACM International Symposium on Big Data Computing, 2015

ILP-Based Process Discovery Using Hybrid Regions.
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data, 2015

Process Discovery Using Localized Events.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015

A framework for next generation e-health systems and services.
Proceedings of the 21st Americas Conference on Information Systems, 2015

Extracting Event Data from Databases to Unleash Process Mining.
Proceedings of the BPM - Driving Innovation in a Digital World, 2015

2014
Desire Lines in Big Data.
Encyclopedia of Social Network Analysis and Mining, 2014

Liquid business process model collections.
Proceedings of the Modeling and Simulation-Based Systems Engineering Handbook., 2014

Dealing With Concept Drifts in Process Mining.
IEEE Trans. Neural Networks Learn. Syst., 2014

Single-Entry Single-Exit decomposed conformance checking.
Inf. Syst., 2014

Geschäftsprozessmodellierung: Die "Killer-Applikation" für Petrinetze.
Inform. Spektrum, 2014

Quality Dimensions in Process Discovery: The Importance of Fitness, Precision, Generalization and Simplicity.
Int. J. Cooperative Inf. Syst., 2014

Process Discovery and Conformance Checking Using Passages.
Fundam. Informaticae, 2014

Using Monotonicity to Find Optimal Process Configurations Faster.
Proceedings of the 4th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2014), 2014

Discovery of Frequent Episodes in Event Logs.
Proceedings of the Data-Driven Process Discovery and Analysis, 2014

Finding Suitable Activity Clusters for Decomposed Process Discovery.
Proceedings of the 4th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2014), 2014

Compliance Checking of Data-Aware and Resource-Aware Compliance Requirements.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2014 Conferences, 2014

Decomposing Alignment-Based Conformance Checking of Data-Aware Process Models.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2014 Conferences, 2014

Agile development with software process mining.
Proceedings of the International Conference on Software and Systems Process 2014, 2014

Data Scientist: The Engineer of the Future.
Proceedings of the Enterprise Interoperability VI: Interoperability for Agility, 2014

No Knowledge Without Processes - Process Mining as a Tool to Find Out What People and Organizations Really Do.
Proceedings of the KEOD 2014, 2014

How People Really (Like To) Work - Comparative Process Mining to Unravel Human Behavior.
Proceedings of the Human-Centered Software Engineering, 2014

Conformance checking in healthcare based on partially ordered event data.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Process mining can be applied to software too!
Proceedings of the 2014 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, 2014

Process Mining as the Superglue Between Data Science and Enterprise Computing.
Proceedings of the 18th IEEE International Enterprise Distributed Object Computing Conference, 2014

Perturbing event logs to identify cost reduction opportunities: A genetic algorithm-based approach.
Proceedings of the IEEE Congress on Evolutionary Computation, 2014

Control-flow discovery from event streams.
Proceedings of the IEEE Congress on Evolutionary Computation, 2014

An Extensible Framework for Analysing Resource Behaviour Using Event Logs.
Proceedings of the Advanced Information Systems Engineering, 2014

Decomposed Process Mining: The ILP Case.
Proceedings of the Business Process Management Workshops, 2014

YAWL in the Cloud: Supporting Process Sharing and Variability.
Proceedings of the Business Process Management Workshops, 2014

Configuring Configurable Process Models Made Easier: An Automated Approach.
Proceedings of the Business Process Management Workshops, 2014

Supporting Process Mining Workflows with RapidProM.
Proceedings of the BPM Demo Sessions 2014 Co-located with the 12th International Conference on Business Process Management (BPM 2014), 2014

Conformance Checking Based on Partially Ordered Event Data.
Proceedings of the Business Process Management Workshops, 2014

A General Framework for Correlating Business Process Characteristics.
Proceedings of the Business Process Management - 12th International Conference, 2014

The FeaturePrediction Package in ProM: Correlating Business Process Characteristics.
Proceedings of the BPM Demo Sessions 2014 Co-located with the 12th International Conference on Business Process Management (BPM 2014), 2014

Exploring Processes and Deviations.
Proceedings of the Business Process Management Workshops, 2014

Process and Deviation Exploration with Inductive Visual Miner.
Proceedings of the BPM Demo Sessions 2014 Co-located with the 12th International Conference on Business Process Management (BPM 2014), 2014

Discovering, Analyzing and Enhancing BPMN Models Using ProM.
Proceedings of the BPM Demo Sessions 2014 Co-located with the 12th International Conference on Business Process Management (BPM 2014), 2014

Petra: A Tool for Analysing a Process Family.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

Discovering Block-Structured Process Models from Incomplete Event Logs.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

Process Model Discovery: A Method Based on Transition System Decomposition.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

Behavioral Service Substitution.
Proceedings of the Web Services Foundations, 2014

2013
Service Mining: Using Process Mining to Discover, Check, and Improve Service Behavior.
IEEE Trans. Serv. Comput., 2013

Strategies for Modeling Complex Processes Using Colored Petri Nets.
Trans. Petri Nets Other Model. Concurr., 2013

Discovering Petri Nets from Event Logs.
Trans. Petri Nets Other Model. Concurr., 2013

Monitoring business constraints with the event calculus.
ACM Trans. Intell. Syst. Technol., 2013

Simplifying discovered process models in a controlled manner.
Inf. Syst., 2013

Supervisory control service for supporting flexible processes.
Ind. Manag. Data Syst., 2013

Decomposing Petri nets for process mining: A generic approach.
Distributed Parallel Databases, 2013

Unleashing Operational Process Mining (Dagstuhl Seminar 13481).
Dagstuhl Reports, 2013

Passages in Graphs
CoRR, 2013

YAWL in the Cloud.
Proceedings of the First YAWL Symposium, Sankt Augustin, Germany, June 7, 2013, 2013

Supporting the Workflow Management System Development Process with YAWL.
Proceedings of the First YAWL Symposium, Sankt Augustin, Germany, June 7, 2013, 2013

Comparative Process Mining in Education: An Approach Based on Process Cubes.
Proceedings of the Data-Driven Process Discovery and Analysis, 2013

Data-aware process mining: discovering decisions in processes using alignments.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Mediating between modeled and observed behavior: The quest for the "right" process: Keynote.
Proceedings of the IEEE 7th International Conference on Research Challenges in Information Science, 2013

Repairing Event Logs Using Timed Process Models.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2013 Workshops, 2013

Improving Documentation by Repairing Event Logs.
Proceedings of the Practice of Enterprise Modeling, 2013

Challenges in Service Mining: Record, Check, Discover.
Proceedings of the Web Engineering - 13th International Conference, 2013

Service Discovery from Observed Behavior while Guaranteeing Deadlock Freedom in Collaborations.
Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

A General Divide and Conquer Approach for Process Mining.
Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013

Cost-Informed Operational Process Support.
Proceedings of the Conceptual Modeling - 32th International Conference, 2013

A Framework for the Systematic Comparison and Evaluation of Compliance Monitoring Approaches.
Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference, 2013

Process Mining in the Large: A Tutorial.
Proceedings of the Business Intelligence - Third European Summer School, 2013

Wanna improve process mining results?
Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining, 2013

Discovering signature patterns from event logs.
Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining, 2013

Diagnostic Information for Compliance Checking of Temporal Compliance Requirements.
Proceedings of the Advanced Information Systems Engineering, 2013

Profiling Event Logs to Configure Risk Indicators for Process Delays.
Proceedings of the Advanced Information Systems Engineering, 2013

A Knowledge-Based Integrated Approach for Discovering and Repairing Declare Maps.
Proceedings of the Advanced Information Systems Engineering, 2013

A Software Framework for Risk-Aware Business Process Management.
Proceedings of the CAiSE'13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE), 2013

Supporting Risk-Informed Decisions during Business Process Execution.
Proceedings of the Advanced Information Systems Engineering, 2013

Discovering Stochastic Petri Nets with Arbitrary Delay Distributions from Event Logs.
Proceedings of the Business Process Management Workshops, 2013

Supporting Domain Experts to Select and Configure Precise Compliance Rules.
Proceedings of the Business Process Management Workshops, 2013

Conformance Checking in the Large: Partitioning and Topology.
Proceedings of the Business Process Management - 11th International Conference, 2013

Aligning Event Logs and Process Models for Multi-perspective Conformance Checking: An Approach Based on Integer Linear Programming.
Proceedings of the Business Process Management - 11th International Conference, 2013

Discovering Block-Structured Process Models from Event Logs Containing Infrequent Behaviour.
Proceedings of the Business Process Management Workshops, 2013

Discovering and Navigating a Collection of Process Models Using Multiple Quality Dimensions.
Proceedings of the Business Process Management Workshops, 2013

Mining Configurable Process Models from Collections of Event Logs.
Proceedings of the Business Process Management - 11th International Conference, 2013

Enhancing Declare Maps Based on Event Correlations.
Proceedings of the Business Process Management - 11th International Conference, 2013

Beautiful Workflows: A Matter of Taste?
Proceedings of the Beauty of Functional Code, 2013

Mining Declarative Models Using Time Intervals.
Proceedings of the Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24, 2013

Decomposing Replay Problems: A Case Study.
Proceedings of the Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24, 2013

A Framework for Efficiently Deciding Language Inclusion for Sound Unlabelled WF-Nets.
Proceedings of the Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24, 2013

Hierarchical Conformance Checking of Process Models Based on Event Logs.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

Discovering Block-Structured Process Models from Event Logs - A Constructive Approach.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

Process Cubes: Slicing, Dicing, Rolling Up and Drilling Down Event Data for Process Mining.
Proceedings of the Asia Pacific Business Process Management, 2013

Cost-Aware Business Process Management: A Research Agenda.
Proceedings of the Australasian Conference on Information Systems, 2013

Analyzing Vessel Behavior Using Process Mining.
Proceedings of the Situation Awareness with Systems of Systems, 2013

Reflections on a Decade of Interorganizational Workflow Research.
Proceedings of the Seminal Contributions to Information Systems Engineering, 2013

The P2P Approach to Interorganizational Workflows.
Proceedings of the Seminal Contributions to Information Systems Engineering, 2013

2012
Replaying history on process models for conformance checking and performance analysis.
WIREs Data Mining Knowl. Discov., 2012

Aggregating Causal Runs into Workflow Nets.
Trans. Petri Nets Other Model. Concurr., 2012

Process Mining: Overview and Opportunities.
ACM Trans. Manag. Inf. Syst., 2012

Workflow patterns put into context.
Softw. Syst. Model., 2012

What makes a good process model? - Lessons learned from process mining.
Softw. Syst. Model., 2012

Process diagnostics using trace alignment: Opportunities, issues, and challenges.
Inf. Syst., 2012

Ensuring correctness during process configuration via partner synthesis.
Inf. Syst., 2012

Process Mining.
Inform. Spektrum, 2012

Lightweight Interacting Patient Treatment Processes.
Int. J. Knowl. Based Organ., 2012

Visual support for work assignment in process-aware information systems: Framework formalisation and implementation.
Decis. Support Syst., 2012

Heuristics Miners for Streaming Event Data
CoRR, 2012

Process mining.
Commun. ACM, 2012

Pattern-based analysis of computer-interpretable guidelines: Don't forget the context.
Artif. Intell. Medicine, 2012

Conformance Checking of Services Using the Best Matching Private View.
Proceedings of the Web Services and Formal Methods - 9th International Workshop, 2012

Improving Business Process Models Using Observed Behavior.
Proceedings of the Data-Driven Process Discovery and Analysis, 2012

Configurable Declare: Designing Customisable Flexible Process Models.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012

On the Role of Fitness, Precision, Generalization and Simplicity in Process Discovery.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012

An Operational Decision Support Framework for Monitoring Business Constraints.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

Distributed Process Discovery and Conformance Checking.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

Techniques for a Posteriori Analysis of Declarative Processes.
Proceedings of the 16th IEEE International Enterprise Distributed Object Computing Conference, 2012

A genetic algorithm for discovering process trees.
Proceedings of the IEEE Congress on Evolutionary Computation, 2012

Generating Event Logs with Workload-Dependent Speeds from Simulation Models.
Proceedings of the Advanced Information Systems Engineering Workshops, 2012

Efficient Discovery of Understandable Declarative Process Models from Event Logs.
Proceedings of the Advanced Information Systems Engineering, 2012

Mining Inter-organizational Business Process Models from EDI Messages: A Case Study from the Automotive Sector.
Proceedings of the Advanced Information Systems Engineering, 2012

Context-Aware Compliance Checking.
Proceedings of the Business Process Management - 10th International Conference, 2012

An Experimental Evaluation of Passage-Based Process Discovery.
Proceedings of the Business Process Management Workshops, 2012

Root Cause Analysis with Enriched Process Logs.
Proceedings of the Business Process Management Workshops, 2012

Where Did I Misbehave? Diagnostic Information in Compliance Checking.
Proceedings of the Business Process Management - 10th International Conference, 2012

Predicting Deadline Transgressions Using Event Logs.
Proceedings of the Business Process Management Workshops, 2012

Process Mining in Healthcare: Data Challenges When Answering Frequently Posed Questions.
Proceedings of the Process Support and Knowledge Representation in Health Care, 2012

Aligning Event Logs and Declarative Process Models for Conformance Checking.
Proceedings of the Business Process Management - 10th International Conference, 2012

Repairing Process Models to Reflect Reality.
Proceedings of the Business Process Management - 10th International Conference, 2012

Process Mining Applied to the BPI Challenge 2012: Divide and Conquer While Discerning Resources.
Proceedings of the Business Process Management Workshops, 2012

Alignment Based Precision Checking.
Proceedings of the Business Process Management Workshops, 2012

A Decade of Business Process Management Conferences: Personal Reflections on a Developing Discipline.
Proceedings of the Business Process Management - 10th International Conference, 2012

Creating Sound and Reversible Configurable Process Models Using CoSeNets.
Proceedings of the Business Information Systems - 15th International Conference, 2012

Data- and Resource-Aware Conformance Checking of Business Processes.
Proceedings of the Business Information Systems - 15th International Conference, 2012

An Infrastructure for Cost-Effective Testing of Operational Support Algorithms Based on Colored Petri Nets.
Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

Decomposing Process Mining Problems Using Passages.
Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

2011
Geschäftsprozessmanagement im Großen.
Wirtschaftsinf., 2011

Managing Process Model Complexity Via Abstract Syntax Modifications.
IEEE Trans. Ind. Informatics, 2011

Managing Process Model Complexity via Concrete Syntax Modifications.
IEEE Trans. Ind. Informatics, 2011

Verifying workflow processes: a transformation-based approach.
Softw. Syst. Model., 2011

Process mining: making knowledge discovery process centric.
SIGKDD Explor., 2011

Product-based workflow support.
Inf. Syst., 2011

Time prediction based on process mining.
Inf. Syst., 2011

<i>Spiℂa</i>'s Multi-Party Negotiation Protocol: Implementation Using YAWL.
Int. J. Cooperative Inf. Syst., 2011

Soundness of workflow nets: classification, decidability, and analysis.
Formal Aspects Comput., 2011

APROMORE: An advanced process model repository.
Expert Syst. Appl., 2011

Conceptual model for online auditing.
Decis. Support Syst., 2011

Reinforcement learning based resource allocation in business process management.
Data Knowl. Eng., 2011

Using Process Mining to Bridge the Gap between BI and BPM.
Computer, 2011

Business Process Management in the Large.
Bus. Inf. Syst. Eng., 2011

Many-to-Many: Some Observations on Interactions in Artifact Choreographies.
Proceedings of the 3rd Central-European Workshop on Services and their Composition, 2011

On the Representational Bias in Process Mining.
Proceedings of the 20th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2011

A Method to Build and Analyze Scientific Workflows from Provenance through Process Mining.
Proceedings of the 3rd Workshop on the Theory and Practice of Provenance, 2011

Towards Improving the Representational Bias of Process Mining.
Proceedings of the Data-Driven Process Discovery and Analysis, 2011

A Method to Mine Workflows from Provenance for Assisting Scientific Workflow Composition.
Proceedings of the World Congress on Services, 2011

Runtime Verification of LTL-Based Declarative Process Models.
Proceedings of the Runtime Verification - Second International Conference, 2011

Distributed Genetic Process Mining Using Sampling.
Proceedings of the Parallel Computing Technologies - 11th International Conference, 2011

Intra- and Inter-Organizational Process Mining: Discovering Processes within and between Organizations.
Proceedings of the Practice of Enterprise Modeling - 4th IFIP WG 8.1 Working Conference, 2011

Conformance Checking Using Cost-Based Fitness Analysis.
Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, 2011

Process Mining for Electronic Data Interchange.
Proceedings of the E-Commerce and Web Technologies - 12th International Conference, 2011

Business Process Configuration in the Cloud: How to Support and Analyze Multi-tenant Processes?
Proceedings of the 9th IEEE European Conference on Web Services, 2011

Causal Nets: A Modeling Language Tailored towards Process Discovery.
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

User-guided discovery of declarative process models.
Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining, 2011

Discovering Hierarchical Process Models Using ProM.
Proceedings of the IS Olympics: Information Systems in a Diverse World, 2011

Handling Concept Drift in Process Mining.
Proceedings of the Advanced Information Systems Engineering, 2011

When Process Mining Meets Bioinformatics.
Proceedings of the IS Olympics: Information Systems in a Diverse World, 2011

Comparing Business Processes to Determine the Feasibility of Configurable Models: A Case Study.
Proceedings of the Business Process Management Workshops, 2011

Supporting Healthcare Processes with YAWL4Healthcare.
Proceedings of the Demo Track of the Nineth Conference on Business Process Management 2011, 2011

Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata.
Proceedings of the Business Process Management - 9th International Conference, 2011

Reusing a Declarative Specification to Check the Conformance of Different CIGs.
Proceedings of the Business Process Management Workshops, 2011

Conformance Checking of Interacting Processes with Overlapping Instances.
Proceedings of the Business Process Management - 9th International Conference, 2011

Simplifying Mined Process Models: An Approach Based on Unfoldings.
Proceedings of the Business Process Management - 9th International Conference, 2011

Towards Cross-Organizational Process Mining in Collections of Process Models and Their Executions.
Proceedings of the Business Process Management Workshops, 2011

Analysis of Patient Treatment Procedures.
Proceedings of the Business Process Management Workshops, 2011

Definition and Validation of Process Mining Use Cases.
Proceedings of the Business Process Management Workshops, 2011


Behavioral Conformance of Artifact-Centric Process Models.
Proceedings of the Business Information Systems - 14th International Conference, 2011

Semantic-Based Conformance Checking of Computer Interpretable Medical Guidelines.
Proceedings of the Biomedical Engineering Systems and Technologies, 2011

Semantic Process Mining for the Verification of Medical Recommendations.
Proceedings of the HEALTHINF 2011, 2011

Do Petri Nets Provide the Right Representational Bias for Process Mining?
Proceedings of the Workshop Applications of Region Theory 2011, 2011

Modeling Business Processes - A Petri Net-Oriented Approach.
Cooperative Information Systems series, MIT Press, ISBN: 978-0-262-01538-7, 2011

Process Mining - Discovery, Conformance and Enhancement of Business Processes.
Springer, ISBN: 978-3-642-19344-6, 2011

2010
Declarative specification and verification of service choreographiess.
ACM Trans. Web, 2010

Schedule-Aware Workflow Management Systems.
Trans. Petri Nets Other Model. Concurr., 2010

Process mining: a two-step approach to balance between underfitting and overfitting.
Softw. Syst. Model., 2010

Simulation to Analyze the Impact of a Schedule-aware Workflow Management System.
Simul., 2010

Reduction rules for reset/inhibitor nets.
J. Comput. Syst. Sci., 2010

Proclets in healthcare.
J. Biomed. Informatics, 2010

Seven process modeling guidelines (7PMG).
Inf. Softw. Technol., 2010

Preserving correctness during business process model configuration.
Formal Aspects Comput., 2010

An adaptive work distribution mechanism based on reinforcement learning.
Expert Syst. Appl., 2010

Mining process models with prime invisible tasks.
Data Knowl. Eng., 2010

A reference model for grid architectures and its validation.
Concurr. Comput. Pract. Exp., 2010

Auditing 2.0: Using Process Mining to Support Tomorrow's Auditor.
Computer, 2010

Multiparty Contracts: Agreeing and Implementing Interorganizational Processes.
Comput. J., 2010

Process Discovery: Capturing the Invisible.
IEEE Comput. Intell. Mag., 2010

Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance.
Proceedings of the Model Checking Software, 2010

Automatic Support for Product Based Workflow Design: Generation of Process Models from a Product Data Model.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010 Workshops, 2010

Configurable Services in the Cloud: Supporting Variability While Enabling Cross-Organizational Process Mining.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010, 2010

COOPIS'10 Keynote.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010, 2010

Discovering Process Models with Genetic Algorithms Using Sampling.
Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2010

BPM-in-the-Large - Towards a Higher Level of Abstraction in Business Process Management.
Proceedings of the E-Government, E-Services and Global Processes, 2010

Managing Process Model Collections with AProMoRe.
Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

Distributed genetic process mining.
Proceedings of the IEEE Congress on Evolutionary Computation, 2010

XES Tools.
Proceedings of the CAiSE Forum 2010, Hammamet, Tunisia, June 9-11, 2010, 2010

XES, XESame, and ProM 6.
Proceedings of the Information Systems Evolution, 2010

Business Trend Analysis by Simulation.
Proceedings of the Advanced Information Systems Engineering, 22nd International Conference, 2010

Beyond Process Mining: From the Past to Present and Future.
Proceedings of the Advanced Information Systems Engineering, 22nd International Conference, 2010

Business Process Simulation Revisited.
Proceedings of the Enterprise and Organizational Modeling and Simulation, 2010

ProM 6: The Process Mining Toolkit.
Proceedings of the Business Process Management 2010 Demonstration Track, 2010

The PrICE Tool Kit: Tool Support for Process Improvement.
Proceedings of the Business Process Management 2010 Demonstration Track, 2010

Mining Context-Dependent and Interactive Business Process Maps Using Execution Patterns.
Proceedings of the Business Process Management Workshops, 2010

Trace Alignment in Process Mining: Opportunities for Process Diagnostics.
Proceedings of the Business Process Management - 8th International Conference, 2010

Towards Robust Conformance Checking.
Proceedings of the Business Process Management Workshops, 2010

Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis.
Proceedings of the Business Process Management - 8th International Conference, 2010

Process Mining and Simulation.
Proceedings of the Modern Business Process Automation - YAWL and its Support Environment, 2010

Advanced Synchronization.
Proceedings of the Modern Business Process Automation - YAWL and its Support Environment, 2010

The Declare Service.
Proceedings of the Modern Business Process Automation - YAWL and its Support Environment, 2010

Declarative Workflow.
Proceedings of the Modern Business Process Automation - YAWL and its Support Environment, 2010

YAWL4Healthcare.
Proceedings of the Modern Business Process Automation - YAWL and its Support Environment, 2010

Epilogue.
Proceedings of the Modern Business Process Automation - YAWL and its Support Environment, 2010

Introduction.
Proceedings of the Modern Business Process Automation - YAWL and its Support Environment, 2010

2009
Process Mining towards Semantics.
Proceedings of the Advances in Web Semantics I, 2009

Workflow Patterns.
Proceedings of the Encyclopedia of Database Systems, 2009

Workflow Model Analysis.
Proceedings of the Encyclopedia of Database Systems, 2009

Process Mining.
Proceedings of the Encyclopedia of Database Systems, 2009

Petri Nets.
Proceedings of the Encyclopedia of Database Systems, 2009

Orchestration.
Proceedings of the Encyclopedia of Database Systems, 2009

Coordination.
Proceedings of the Encyclopedia of Database Systems, 2009

Composition.
Proceedings of the Encyclopedia of Database Systems, 2009

Choreography.
Proceedings of the Encyclopedia of Database Systems, 2009

Business Process Modeling Notation.
Proceedings of the Encyclopedia of Database Systems, 2009

Business Process Management.
Proceedings of the Encyclopedia of Database Systems, 2009

Business Process Execution Language.
Proceedings of the Encyclopedia of Database Systems, 2009

Path Mining and Process Mining for Workflow Management Systems.
Proceedings of the Encyclopedia of Data Warehousing and Mining, Second Edition (4 Volumes), 2009

Process Mining Applied to the Test Process of Wafer Scanners in ASML.
IEEE Trans. Syst. Man Cybern. Part C, 2009

From business process models to process-oriented software systems.
ACM Trans. Softw. Eng. Methodol., 2009

Designing a Workflow System Using Coloured Petri Nets.
Trans. Petri Nets Other Model. Concurr., 2009

From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems.
Trans. Petri Nets Other Model. Concurr., 2009

Soundness of Workflow Nets with Reset Arcs.
Trans. Petri Nets Other Model. Concurr., 2009

Process-Aware Information Systems: Lessons to Be Learned from Process Mining.
Trans. Petri Nets Other Model. Concurr., 2009

Questionnaire-based variability modeling for system configuration.
Softw. Syst. Model., 2009

Soft reliability: an interdisciplinary approach with a user-system focus.
Qual. Reliab. Eng. Int., 2009

A novel approach for process mining based on event types.
J. Intell. Inf. Syst., 2009

Soundness-preserving reduction rules for reset workflow nets.
Inf. Sci., 2009

Discovering simulation models.
Inf. Syst., 2009

Reduction rules for YAWL workflows with cancellation regions and OR-joins.
Inf. Softw. Technol., 2009

Patterns-based evaluation of open source BPM systems: The cases of jBPM, OpenWFE, and Enhydra Shark.
Inf. Softw. Technol., 2009

Complexity metrics for Workflow nets.
Inf. Softw. Technol., 2009

Synchronization and Cancelation in Workflows Based on Reset Nets.
Int. J. Cooperative Inf. Syst., 2009

Declarative workflows: Balancing between flexibility and support.
Comput. Sci. Res. Dev., 2009

Workflow simulation for operational decision support.
Data Knowl. Eng., 2009

Workflow Support Using Proclets: Divide, Interact, and Conquer.
IEEE Data Eng. Bull., 2009

Dimensions of coupling in middleware.
Concurr. Comput. Pract. Exp., 2009

Radiology information system: a workflow-based approach.
Int. J. Comput. Assist. Radiol. Surg., 2009

Business process verification - finally a reality!
Bus. Process. Manag. J., 2009

Service Interaction: Patterns, Formalization, and Analysis.
Proceedings of the Formal Methods for Web Services, 2009

Context Aware Trace Clustering: Towards Improving Process Mining Results.
Proceedings of the SIAM International Conference on Data Mining, 2009

Improving Product Usage Monitoring and Analysis with Semantic Concepts.
Proceedings of the Information Systems: Modeling, 2009

History-Dependent Stochastic Petri Nets.
Proceedings of the Perspectives of Systems Informatics, 2009

Process Mining Online Assessment Data.
Proceedings of the Educational Data Mining, 2009

An Analysis of Windows Workflow's Control-Flow Expressiveness.
Proceedings of the Seventh IEEE European Conference on Web Services (ECOWS 2009), 2009

Flexibility as a Service.
Proceedings of the Database Systems for Advanced Applications, 2009

Workflow completion patterns.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows.
Proceedings of the Advanced Information Systems Engineering, 21st International Conference, 2009

Configurable Process Models: Experiences from a Municipality Case Study.
Proceedings of the Advanced Information Systems Engineering, 21st International Conference, 2009

Anomaly Detection Using Process Mining.
Proceedings of the Enterprise, 2009

TomTom for Business Process Management (TomTom4BPM).
Proceedings of the Advanced Information Systems Engineering, 21st International Conference, 2009

DECLARE Demo: A Constraint-based Workflow Management System.
Proceedings of the Business Process Management Demonstration Track (BPMDemos 2009), 2009

BPR Best Practices for the Healthcare Domain.
Proceedings of the Business Process Management Workshops, 2009

Analyzing Resource Behavior Using Process Mining.
Proceedings of the Business Process Management Workshops, 2009

Process-Aware Information System Development for the Healthcare Domain - Consistency, Reliability, and Effectiveness.
Proceedings of the Business Process Management Workshops, 2009

Activity Mining by Global Trace Segmentation.
Proceedings of the Business Process Management Workshops, 2009

Visual Support for Work Assignment in YAWL.
Proceedings of the Business Process Management Demonstration Track (BPMDemos 2009), 2009

Trace Clustering Based on Conserved Patterns: Towards Achieving Better Process Models.
Proceedings of the Business Process Management Workshops, 2009

Abstractions in Process Mining: A Taxonomy of Patterns.
Proceedings of the Business Process Management, 7th International Conference, 2009

ProM: The Process Mining Toolkit.
Proceedings of the Business Process Management Demonstration Track (BPMDemos 2009), 2009

Using Process Mining to Generate Accurate and Interactive Business Process Maps.
Proceedings of the Business Information Systems Workshops, 2009

Compositional Service Trees.
Proceedings of the Applications and Theory of Petri Nets, 2009

2008
Process-Aware Information Systems: Design, Enactment, and Analysis.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization.
Trans. Petri Nets Other Model. Concurr., 2008

Conformance checking of service behavior.
ACM Trans. Internet Techn., 2008

Discovering colored Petri nets from event logs.
Int. J. Softw. Tools Technol. Transf., 2008

From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system.
Int. J. Softw. Tools Technol. Transf., 2008

Protos2CPN: using colored Petri nets for configuring and testing business processes.
Int. J. Softw. Tools Technol. Transf., 2008

Pattern-Based Translation of BPMN Process Models to BPEL Web Services.
Int. J. Web Serv. Res., 2008

Conformance checking of processes based on monitoring real behavior.
Inf. Syst., 2008

Translating unstructured workflow processes to readable BPEL: Theory and implementation.
Inf. Softw. Technol., 2008

Mining E-Mail Messages: Uncovering Interaction Patterns and Processes using E-Mail Logs.
Int. J. Intell. Inf. Technol., 2008

Configurable Workflow Models.
Int. J. Cooperative Inf. Syst., 2008

Using process mining to learn from process changes in evolutionary systems.
Int. J. Bus. Process. Integr. Manag., 2008

Working with the Past: Integrating History in Petri Nets.
Fundam. Informaticae, 2008

Getting rid of OR-joins and multiple start events in business process models.
Enterp. Inf. Syst., 2008

Towards comprehensive support for organizational mining.
Decis. Support Syst., 2008

From conceptual process models to running systems: A holistic approach for the configuration of enterprise system processes.
Decis. Support Syst., 2008

Detection and prediction of errors in EPCs of the SAP reference model.
Data Knowl. Eng., 2008

Quantifying process equivalence based on observed behavior.
Data Knowl. Eng., 2008

Process Mining in Web Services: The WebSphere Case.
IEEE Data Eng. Bull., 2008

Evaluating workflow process designs using cohesion and coupling metrics.
Comput. Ind., 2008

Supporting Flexible Processes with Adaptive Workflow and Case Handling.
Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2008

Advanced Reduction Rules for the Verification of EPC Business Process Models.
Proceedings of the SIGSAND-EUROPE 2008: Proceedings of the Third AIS SIGSAND European Symposium on Analysis, Design, Use and Societal Impact of Information Systems, June 12, 2008

Mining Reference Process Models and Their Configurations.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008 Workshops, 2008

Merging Event-Driven Process Chains.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008, 2008

Cycle Time Prediction: When Will This Case Finally Be Finished?.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008, 2008

A Reference Model for Grid Architectures and Its Analysis.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008, 2008

Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets.
Proceedings of the Principles of Distributed Systems, 12th International Conference, 2008

Business Process Compliance Checking: Current State and Future Challenges.
Proceedings of the Modellierung betrieblicher Informationssysteme - Modellierung zwischen SOA und Compliance Management, 2008

Process Mining Techniques: an Application to Stroke Care.
Proceedings of the eHealth Beyond the Horizon, 2008

Discovery, Verification and Conformance of Workflows with Cancellation.
Proceedings of the Graph Transformations, 4th International Conference, 2008

Correctness-Preserving Configuration of Business Process Models.
Proceedings of the Fundamental Approaches to Software Engineering, 2008

Semantic Process Mining Tools: Core Building Blocks.
Proceedings of the 16th European Conference on Information Systems, 2008

Soundness and Niceness as Correctness Criteria for Grid Workflows.
Proceedings of the Fourth International Conference on e-Science, 2008

Analyzing Multi-agent Activity Logs Using Process Mining Techniques.
Proceedings of the Distributed Autonomous Robotic Systems 8, 2008

Open Source Workflow: A Viable Direction for BPM?.
Proceedings of the Advanced Information Systems Engineering, 20th International Conference, 2008

On a Quest for Good Process Models: The Cross-Connectivity Metric.
Proceedings of the Advanced Information Systems Engineering, 20th International Conference, 2008

Product Based Workflow Support: Dynamic Workflow Execution.
Proceedings of the Advanced Information Systems Engineering, 20th International Conference, 2008

Process Flexibility: A Survey of Contemporary Approaches.
Proceedings of the Advances in Enterprise Engineering I, 2008

Towards a Taxonomy of Process Flexibility.
Proceedings of the Forum at the CAiSE'08 Conference, Montpellier, France, June 18-20, 2008, 2008

Work Distribution and Resource Management in BPEL4People: Capabilities and Opportunities.
Proceedings of the Advanced Information Systems Engineering, 20th International Conference, 2008

Trace Clustering in Process Mining.
Proceedings of the Business Process Management Workshops, 2008

Supporting Flexible Processes through Recommendations Based on History.
Proceedings of the Business Process Management, 6th International Conference, 2008

Workflow Simulation for Operational Decision Support Using Design, Historic and State Information.
Proceedings of the Business Process Management, 6th International Conference, 2008

On the Formal Generation of Process Redesigns.
Proceedings of the Business Process Management Workshops, 2008

Flexibility Schemes for Workflow Management Systems.
Proceedings of the Business Process Management Workshops, 2008

Visual Support for Work Assignment in Process-Aware Information Systems.
Proceedings of the Business Process Management, 6th International Conference, 2008

Application of Process Mining in Healthcare - A Case Study in a Dutch Hospital.
Proceedings of the Biomedical Engineering Systems and Technologies, 2008

Process Mining in Healthcare - A Case Study.
Proceedings of the First International Conference on Health Informatics, 2008

2007
Modelling work distribution mechanisms using Colored Petri Nets.
Int. J. Softw. Tools Technol. Transf., 2007

Formal semantics and analysis of control flow in WS-BPEL.
Sci. Comput. Program., 2007

Interacting agents through a web-based health serviceflow management system.
J. Biomed. Informatics, 2007

Research Paper: A Pattern-based Analysis of Clinical Computer-interpretable Guideline Modeling Languages.
J. Am. Medical Informatics Assoc., 2007

A configurable reference modelling language.
Inf. Syst., 2007

Business process mining: An industrial application.
Inf. Syst., 2007

Combining workflow and PDM based on the workflow management coalition and STEP standards: the case of <i>axalant</i>.
Int. J. Comput. Integr. Manuf., 2007

The role of business processes in service oriented architectures (Editorial).
Int. J. Bus. Process. Integr. Manag., 2007

An SOA-based architecture framework.
Int. J. Bus. Process. Integr. Manag., 2007

Workflow Management Systems for Grid Computing.
ERCIM News, 2007

A formal modeling approach for supply chain event management.
Decis. Support Syst., 2007

Deadline-based escalation in process-aware information systems.
Decis. Support Syst., 2007

Business process management: Where business processes and web services meet.
Data Knowl. Eng., 2007

Mining process models with non-free-choice constructs.
Data Min. Knowl. Discov., 2007

Genetic process mining: an experimental evaluation.
Data Min. Knowl. Discov., 2007

Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants.
Comput. J., 2007

Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants.
Comput. Ind., 2007

Exploring the CSCW spectrum using process mining.
Adv. Eng. Informatics, 2007

From Public Views to Private Views - Correctness-by-Design for Services.
Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

Specifying and Monitoring Service Flows: Making Web Services Process-Aware.
Proceedings of the Test and Analysis of Web Services, 2007

Constraint-Based Workflow Models: Change Made Easy.
Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007

The Conceptualization of a Configurable Multi-party Multi-message Request-Reply Conversation.
Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007

Understanding the Occurrence of Errors in Process Models Based on Metrics.
Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007

An Outlook on Semantic Business Process Mining and Monitoring.
Proceedings of the On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, 2007

Dynamic, Extensible and Context-Aware Exception Handling for Workflows.
Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007

Process Mining Framework for Software Processes.
Proceedings of the Software Process Dynamics and Agility, 2007

Case Handling Systems as Product Based Workflow Design Support.
Proceedings of the Enterprise Information Systems, 9th International Conference, 2007

An Evaluation of Case Handling Systems for Product Based Workflow Design.
Proceedings of the ICEIS 2007, 2007

Performing Business Process Redesign with Best Practices: An Evolutionary Approach.
Proceedings of the Enterprise Information Systems, 9th International Conference, 2007

An Evolutionary Approach for Business Process Redesign - Towards an Intelligent System.
Proceedings of the ICEIS 2007, 2007

Inter-enterprise System and Application Integration: A Reality Check.
Proceedings of the Enterprise Information Systems, 9th International Conference, 2007

Challenges in Business Process Analysis.
Proceedings of the Enterprise Information Systems, 9th International Conference, 2007

Trends in business process analysis - from verification to process mining.
Proceedings of the ICEIS 2007, 2007

On the Correlation between Process Model Metrics and Errors.
Proceedings of the Challenges in Conceptual Modelling. Tutorials, posters, panels and industrial contributions at the 26th International Conference on Conceptual Modeling, 2007

On the Degree of Behavioral Similarity between Business Process Models.
Proceedings of the 6. Workshop der Gesellschaft für Informatik e.V. (GI) und Treffen ihres Arbeitskreises "Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten (WI-EPK)" St. Augustin, Deutschland, 29. November, 2007

DECLARE: Full Support for Loosely-Structured Processes.
Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007

Getting Rid of the OR-Join in Business Process Models.
Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007

Formalization and Verification of EPCs with OR-Joins Based on State and Context.
Proceedings of the Advanced Information Systems Engineering, 19th International Conference, 2007

Communication Abstractions for Distributed Business Processes.
Proceedings of the Advanced Information Systems Engineering, 19th International Conference, 2007

Business Process Simulation for Operational Decision Support.
Proceedings of the Business Process Management Workshops, 2007

The Need for a Process Mining Evaluation Framework in Research and Practice.
Proceedings of the Business Process Management Workshops, 2007

Linking Domain Models and Process Models for Reference Model Configuration.
Proceedings of the Business Process Management Workshops, 2007

Declarative and Procedural Approaches for Modelling Clinical Guidelines: Addressing Flexibility Issues.
Proceedings of the Business Process Management Workshops, 2007

Process Mining Based on Clustering: A Quest for Precision.
Proceedings of the Business Process Management Workshops, 2007

Fuzzy Mining - Adaptive Process Simplification Based on Multi-perspective Metrics.
Proceedings of the Business Process Management, 5th International Conference, 2007

SAP WebFlow Made Configurable: Unifying Workflow Templates into a Configurable Model.
Proceedings of the Business Process Management, 5th International Conference, 2007

History-Dependent Petri Nets.
Proceedings of the Petri Nets and Other Models of Concurrency, 2007

ProM 4.0: Comprehensive Support for <i>Real</i> Process Analysis.
Proceedings of the Petri Nets and Other Models of Concurrency, 2007

Finding Structure in Unstructured Processes: The Case for Process Mining.
Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2006
A survey of patterns for Service-Oriented Architectures.
Int. J. Internet Protoc. Technol., 2006

Model-based software configuration: patterns and languages.
Eur. J. Inf. Syst., 2006

Matching observed behavior and modeled behavior: An approach based on Petri nets and integer programming.
Decis. Support Syst., 2006

Mining configurable enterprise information systems.
Data Knowl. Eng., 2006

A Rule-Based Approach for Process Discovery: Dealing with Noise and Imbalance in Process Logs.
Data Min. Knowl. Discov., 2006

DecSerFlow: Towards a Truly Declarative Service Flow Language.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

Generating correct EPCs from configured C-EPCs.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Erratum: Web Service Mining and Verification of Properties: An Approach Based on Event Calculus.
Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

Web Service Mining and Verification of Properties: An Approach Based on Event Calculus.
Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL.
Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

Change Mining in Adaptive Process Management Systems.
Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

Worklets: A Service-Oriented Implementation of Dynamic Flexibility in Workflows.
Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

From BPMN Process Models to BPEL Web Services.
Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Managing Supply Chain Events to Build Sense-and-Respond Capability.
Proceedings of the International Conference on Information Systems, 2006

Towards EPC Semantics based on State and Context.
Proceedings of the 5. Workshop der Gesellschaft für Informatik e.V. (GI) und Treffen ihres Arbeitskreises "Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten (WI-EPK)", Wien, 30. November, 2006

Integration of EPC-related Tools with ProM.
Proceedings of the 5. Workshop der Gesellschaft für Informatik e.V. (GI) und Treffen ihres Arbeitskreises "Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten (WI-EPK)", Wien, 30. November, 2006

Supporting the BPM life-cycle with FileNet.
Proceedings of the 11th International Workshop on Exploring Modeling Methods for Systems Analysis and Design, 2006

Structural Patterns for Soundness of Business Process Models.
Proceedings of the Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 2006

06291 Abstracts Collection -- The Role of Business Processes in Service-Oriented Architectures.
Proceedings of the Role of Business Processes in Service Oriented Architectures, 16.07., 2006

Choreography Conformance Checking: An Approach based on BPEL and Petri Nets.
Proceedings of the Role of Business Processes in Service Oriented Architectures, 16.07., 2006

A SOA-Based Architecture Framework.
Proceedings of the Role of Business Processes in Service Oriented Architectures, 16.07., 2006

06291 Workshop Report: Process Mining, Monitoring Processes and Services.
Proceedings of the Role of Business Processes in Service Oriented Architectures, 16.07., 2006

Implementation of a YAWL Work-List Handler based on the Resource Patterns.
Proceedings of the 10th International Conference on CSCW in Design, 2006

Interoperability in the ProM Framework.
Proceedings of the EMOI, 2006

Workflow Exception Patterns.
Proceedings of the Advanced Information Systems Engineering, 18th International Conference, 2006

Model-Driven Enterprise Systems Configuration.
Proceedings of the Advanced Information Systems Engineering, 18th International Conference, 2006

Using Process Mining to Analyze and Improve Process Flexibility.
Proceedings of the CAISE*06 Workshop on Business Process Modelling, 2006

Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis.
Proceedings of the Business Process Management, 4th International Conference, 2006

On the Suitability of BPMN for Business Process Modelling.
Proceedings of the Business Process Management, 4th International Conference, 2006

Decision Mining in ProM.
Proceedings of the Business Process Management, 4th International Conference, 2006

A Declarative Approach for Flexible Business Processes Management.
Proceedings of the Business Process Management Workshops, 2006

Faulty EPCs in the SAP Reference Model.
Proceedings of the Business Process Management, 4th International Conference, 2006

A Generic Import Framework for Process Event Logs.
Proceedings of the Business Process Management Workshops, 2006

Process Equivalence: Comparing Two Process Models Based on Observed Behavior.
Proceedings of the Business Process Management, 4th International Conference, 2006

On the suitability of UML 2.0 activity diagrams for business process modelling.
Proceedings of the Conceptual Modelling 2006, 2006

2005
Business alignment: using process mining as a tool for Delta analysis and conformance testing.
Requir. Eng., 2005

YAWL: yet another workflow language.
Inf. Syst., 2005

The effectiveness of workflow management systems: Predictions and lessons learned.
Int. J. Inf. Manag., 2005

Mining of ad-hoc business processes with TeamLog.
Data Knowl. Eng., 2005

Case handling: a new paradigm for business process support.
Data Knowl. Eng., 2005

Discovering Social Networks from Event Logs.
Comput. Support. Cooperative Work., 2005

Model-Driven Process Configuration of Enterprise Systems.
Proceedings of the Wirtschaftsinformatik 2005: eEconomy, eGovernment, eSociety, 7. Internationale Tagung Wirtschaftsinformatik 2005, Bamberg, 23.2.2005, 2005

From Conceptual Process Models to Running Workflows: A Holistic Approach for the Configuration of Enterprise Systems.
Proceedings of the Pacific Asia Conference on Information Systems, 2005

On the Notion of Coupling in Communication Middleware.
Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

Let's Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System.
Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

Process Mining and Verification of Properties: An Approach Based on Temporal Logic.
Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

WofBPEL: A Tool for Automated Analysis of BPEL Processes.
Proceedings of the Service-Oriented Computing, 2005

Pattern-Based Analysis of the Control-Flow Perspective of UML Activity Diagrams.
Proceedings of the Conceptual Modeling, 2005

Workflow Data Patterns: Identification, Representation and Tool Support.
Proceedings of the Conceptual Modeling, 2005

My own process: Providing dedicated views on EPCs.
Proceedings of the 4. Workshop der Gesellschaft für Informatik e.V. (GI) und Treffen ihres Arbeitskreises "Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten (WI-EPK)" Hamburg, 2005

Life After BPEL?
Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

Towards the Interchange of Configurable EPCs.
Proceedings of the Enterprise Modelling and Information Systems Architectures, 2005

Process mining in CSCW systems.
Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, 2005

When are two Workflows the Same?
Proceedings of the Theory of Computing 2005, 2005

Workflow Resource Patterns: Identification, Representation and Tool Support.
Proceedings of the Advanced Information Systems Engineering, 17th International Conference, 2005

Verification of EPCs: Using Reduction Rules and Petri Nets.
Proceedings of the Advanced Information Systems Engineering, 17th International Conference, 2005

A Meta Model for Process Mining Data.
Proceedings of the EMOI, 2005

Facilitating Flexibility and Dynamic Exception Handling in Workflows through Worklets.
Proceedings of the 17th Conference on Advanced Information Systems Engineering (CAiSE '05), 2005

Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models.
Proceedings of the Business Process Management Workshops, 2005

On the Syntax of Reference Model Configuration - Transforming the C-EPC into Lawful EPC Models.
Proceedings of the Business Process Management Workshops, 2005

Genetic Process Mining: A Basic Approach and Its Challenges.
Proceedings of the Business Process Management Workshops, 2005

Configurable Process Models as a Basis for Reference Modeling.
Proceedings of the Business Process Management Workshops, 2005

Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets.
Proceedings of the Applications and Theory of Petri Nets 2005, 2005

The ProM Framework: A New Era in Process Mining Tool Support.
Proceedings of the Applications and Theory of Petri Nets 2005, 2005

Genetic Process Mining.
Proceedings of the Applications and Theory of Petri Nets 2005, 2005

Towards an Understanding of Model Driven Process Configuration and its Support at Large.
Proceedings of the A Conference on a Human Scale. 11th Americas Conference on Information Systems, 2005

On the User Perception of Configurable Reference Process Models - Initial Insights.
Proceedings of the Australasian Conference on Information Systems, 2005

Introduction.
Proceedings of the Process-Aware Information Systems: Bridging People and Software Through Process Technology, 2005

Process Mining.
Proceedings of the Process-Aware Information Systems: Bridging People and Software Through Process Technology, 2005

Patterns of Process Modeling.
Proceedings of the Process-Aware Information Systems: Bridging People and Software Through Process Technology, 2005

2004
Workflow Mining: Discovering Process Models from Event Logs.
IEEE Trans. Knowl. Data Eng., 2004

XRL/Woflan: Verification and Extensibility of an XML/Petri-Net-Based Language for Inter-Organizational Workflows.
Inf. Technol. Manag., 2004

Bridging The Gap Between Business Models And Workflow Specifications.
Int. J. Cooperative Inf. Syst., 2004

Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance.
Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, 2004

Advances in business process management.
Data Knowl. Eng., 2004

Process mining: a research agenda.
Comput. Ind., 2004

Multi-phase Process Mining: Building Instance Graphs.
Proceedings of the Conceptual Modeling, 2004

PC Co-chairs' Message.
Proceedings of the On the Move to Meaningful Internet Systems 2004: CoopIS, 2004

Process Mining for Ubiquitous Mobile Systems: An Overview and a Concrete Algorithm.
Proceedings of the Ubiquitous Mobile Information and Collaboration Systems, 2004

Design and Implementation of the YAWL System.
Proceedings of the Advanced Information Systems Engineering, 16th International Conference, 2004

Business Alignment: Using Process Mining as a Tool for Delta Analysis.
Proceedings of the CAiSE'04 Workshops in connection with The 16th Conference on Advanced Information Systems Engineering, 2004

Mining Social Networks: Uncovering Interaction Patterns in Business Processes.
Proceedings of the Business Process Management: Second International Conference, 2004

EMiT: A Process Mining Tool.
Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003
Product-Based Workflow Design.
J. Manag. Inf. Syst., 2003

Advanced Topics in Workflow Management: Issues, Requirements, and solutions.
Trans. SDPS, 2003

Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control?
Inf. Technol. Manag., 2003

XML - Based Schema Definition for Support of Interorganizational Workflow.
Inf. Syst. Res., 2003

The Case Handling Case.
Int. J. Cooperative Inf. Syst., 2003

Rediscovering workflow models from event-based data using little thumb.
Integr. Comput. Aided Eng., 2003

Web Services: Been There, Done That?
IEEE Intell. Syst., 2003

Challenges in Business Process Management: Verification of Business Processing Using Petri Nets.
Bull. EATCS, 2003

Workflow Patterns.
Distributed Parallel Databases, 2003

Workflow mining: A survey of issues and approaches.
Data Knowl. Eng., 2003

Fundamentals of control flow in workflows.
Acta Informatica, 2003

Organizational Modeling in UML and XML in the Context of Workflow Systems.
Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

Web Service Composition Languages: Old Wine in New Bottles?.
Proceedings of the 29th EUROMICRO Conference 2003, 2003

Analysis of Web Services Composition Languages: The Case of BPEL4WS.
Proceedings of the Conceptual Modeling, 2003

Inheritance of Business Processes: A Journey Visiting Four Notorious Problems.
Proceedings of the Petri Net Technology for Communication-Based Systems, 2003

Workflow Mining: Current Status and Future Directions.
Proceedings of the On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, 2003

Business Process Management: A Survey.
Proceedings of the Business Process Management, International Conference, 2003

Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management.
Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002
Inheritance of workflows: an approach to tackling problems related to change.
Theor. Comput. Sci., 2002

"Compositionality of projection inheritance" [Sci. Comput. Programming 42 (2-3) (2002) 129-171].
Sci. Comput. Program., 2002

Component-based software architectures: a framework based on inheritance of behavior.
Sci. Comput. Program., 2002

Dynamic Work Distribution in Workflow Management Systems: How to Balance Quality and Performance.
J. Manag. Inf. Syst., 2002

Inheritance of Interorganizational Workflows to Enable Business-to-Business.
Electron. Commer. Res., 2002

XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net Technology.
Proceedings of the Web Services, 2002

Discovering Distributed Processes in Supply Chains.
Proceedings of the Collaborative Systems for Production Management, 2002

On the semantics of EPCs: A vicious circle.
Proceedings of the EPK 2002, 2002

Discovering Workflow Performance Models from Timed Logs.
Proceedings of the Engineering and Deployment of Cooperative Information Systems, 2002

Process Mining: Discovering Direct Successors in Process Logs.
Proceedings of the Discovery Science, 5th International Conference, 2002

An Alternative Way to Analyze Workflow Graphs.
Proceedings of the Advanced Information Systems Engineering, 14th International Conference, 2002

Making Work Flow: On the Application of Petri Nets to Business Process Management.
Proceedings of the Applications and Theory of Petri Nets 2002, 2002

Workflow Management: Models, Methods, and Systems
Cooperative information systems, MIT Press, ISBN: 0-262-01189-1, 2002

2001
Inheritance of behavior.
J. Log. Algebraic Methods Program., 2001

Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change.
Inf. Syst. Frontiers, 2001

Proclets: A Framework for Lightweight Interacting Workflow Processes.
Int. J. Cooperative Inf. Syst., 2001

Re-engineering knock-out processes.
Decis. Support Syst., 2001

A reference model for team-enabled workflow management systems.
Data Knowl. Eng., 2001

How to handle dynamic change and capture management information? An approach based on generic workflow models.
Comput. Syst. Sci. Eng., 2001

Diagnosing Workflow Processes using Woflan.
Comput. J., 2001

Beyond workflow management: product-driven case handling.
Proceedings of GROUP 2001, ACM 2001 International Conference on Supporting Group Work, September 30, 2001

Verification of XRL: An XML-based Workflow Language.
Proceedings of the Sixth International Conference on Computer Supported Cooperative Work in Design, 2001

Product-driven Workflow Design.
Proceedings of the Sixth International Conference on Computer Supported Cooperative Work in Design, 2001

Inheritance of Dynamic Behavior: Development of a Groupware Editor.
Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001

The P2P Approach to Interorganizational Workflows.
Proceedings of the Advanced Information Systems Engineering, 13th International Conference, 2001

Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance.
Proceedings of the Application and Theory of Petri Nets 2001, 2001

2000
Verification Of Workflow Task Structures: A Petri-net-baset Approach.
Inf. Syst., 2000

Loosely coupled interorganizational workflows: : modeling and analyzing workflows crossing organizational boundaries.
Inf. Manag., 2000

Advanced Workflow Patterns.
Proceedings of the Cooperative Information Systems, 7th International Conference, 2000

Workflow Modeling Using Proclets.
Proceedings of the Cooperative Information Systems, 7th International Conference, 2000

Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques.
Proceedings of the Business Process Management, Models, Techniques, and Empirical Studies, 2000

Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool.
Proceedings of the Application and Theory of Petri Nets 2000, 2000

Ex Spect 6.4: An Executable Specification Tool for Hierarchical Colored Petri Nets.
Proceedings of the Application and Theory of Petri Nets 2000, 2000

1999
Process-oriented architectures for electronic commerce and interorganizational workflow.
Inf. Syst., 1999

Liveness, Fairness, and Recurrence in Petri Nets.
Inf. Process. Lett., 1999

Formalization and verification of event-driven process chains.
Inf. Softw. Technol., 1999

Processes Driving the Networked Economy.
IEEE Concurr., 1999

Adaptive Workflow-On the Interplay between Flexibility and Support.
Proceedings of the 1st International Conference on Enterprise Information Systems, 1999

Flexible Workflow Management Systems: An Approach Based on Generic Process Models.
Proceedings of the Database and Expert Systems Applications, 10th International Conference, 1999

Generic Workflow Models: How to Handle Dynamic Change and Capture Management Information?
Proceedings of the Fourth IFCIS International Conference on Cooperative Information Systems, 1999

1998
The Application of Petri Nets to Workflow Management.
J. Circuits Syst. Comput., 1998

Modeling and Analyzing Interorganizational Workflows.
Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998

1997
Ad-hoc Workflow: Problems and Solutions.
Proceedings of the Eighth International Workshop on Database and Expert Systems Applications, 1997

Life-Cycle Inheritance: A Petri-Net-Based Approach.
Proceedings of the Application and Theory of Petri Nets 1997, 1997

Verification of Workflow Nets.
Proceedings of the Application and Theory of Petri Nets 1997, 1997

1996
Conservative adaption of workflow.
Proceedings of the First International Conference on Practical Aspects of Knowledge Management, 1996

1995
Analysis of Railway Stations by Means of Interval Timed Coloured Petri Nets.
Real Time Syst., 1995

Working group report on process [production process workflow in cooperative virtual enterprises].
Proceedings of the 4th Workshop on Enabling Technologies, 1995

Framework for business process redesign.
Proceedings of the 4th Workshop on Enabling Technologies, 1995

1994
Using Interval Timed Coloured Petri Nets to Calculate Performance Bounds.
Proceedings of the Computer Performance Evaluation, 1994

1993
Interval Timed Coloured Petri Nets and their Analysis.
Proceedings of the Application and Theory of Petri Nets 1993, 1993

1992
Modelling and Analysis of Complex Logistic Systems.
Proceedings of the Integration in Production Management Systems, 1992

1990
Modelling logistic Systems with ExSpect.
Proceedings of the Dynamic Modelling of Information Systems I, 1990


  Loading...