Wil M. P. van der Aalst

According to our database1, Wil M. P. van der Aalst
  • authored at least 635 papers between 1990 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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

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

Generating event logs for high-level process models.
Simulation Modelling Practice and 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

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

Discovering work prioritisation patterns from event logs.
Decision Support Systems, 2017

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

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

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

Event Stream-Based Process Discovery using Abstract Representations.
CoRR, 2017

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

The Imprecisions of Precision Measures in Process Mining.
CoRR, 2017

Interest-Driven Discovery of Local Process Models.
CoRR, 2017

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

Blockchains for Business Process Management - Challenges and Opportunities.
CoRR, 2017

Guided Interaction Exploration in Artifact-centric Process Models.
CoRR, 2017

Learning Hybrid Process Models From Events: Process Discovery Without Faking Confidence.
CoRR, 2017

Object-Centric Behavioral Constraints.
CoRR, 2017

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

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

Trans-National Joint Research Projects - Defying the Odds of National Inter-University Competition.
Business & Information Systems Engineering, 2017

Business Analytics and Data Science: Once Again?
Business & Information Systems Engineering, 2017

Responsible Data Science.
Business & Information Systems Engineering, 2017

Guided Interaction Exploration in Artifact-centric Process Models.
Proceedings of the 19th IEEE Conference on Business Informatics, 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

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

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

2016
Scientific workflows for process mining: building blocks, scenarios, and implementation.
STTT, 2016

Turning event logs into process movies: animating what has really happened.
Software and System Modeling, 2016

Mining local process models.
J. Innovation in Digital Ecosystems, 2016

Analyzing inter-organizational business processes - Process mining and business performance analysis using electronic data interchange messages.
Inf. Syst. E-Business Management, 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. Information Management, 2016

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

Event Abstraction for Process Mining using Supervised Learning Techniques.
CoRR, 2016

Log-based Evaluation of Label Splits for Process Models.
CoRR, 2016

Mining Local Process Models.
CoRR, 2016

Heuristic Approaches for Generating Local Process Models through Log Projections.
CoRR, 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.
Business & Information Systems Engineering, 2016

BISE and the Engineering Sciences.
Business & Information Systems Engineering, 2016

Business Process Management - Don't Forget to Improve the Process!
Business & Information Systems Engineering, 2016

Open Research in Business and Information Systems Engineering.
Business & Information Systems Engineering, 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

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

DB-XES: Enabling Process Discovery in the Large.
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

Process mining using BPMN: relating event logs and process models.
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 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

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

Connecting Databases with Process Mining: A Meta Model and Toolset.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 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

From Low-Level Events to Activities - A Pattern-Based Approach.
Proceedings of the Business Process Management - 14th International Conference, 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

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. Services Computing, 2015

Business process management as the "Killer App" for Petri nets.
Software and System Modeling, 2015

Measuring precision of modeled behavior.
Inf. Syst. E-Business Management, 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?
Decision Support Systems, 2015

A recommendation system for predicting risks across multiple business process instances.
Decision Support Systems, 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 Netw. Learning Syst., 2014

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

Geschäftsprozessmodellierung: Die "Killer-Applikation" für Petrinetze.
Informatik 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. Inform., 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

Discovery of Frequent Episodes in Event Logs.
Proceedings of the 4th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2014), 2014

Finding Suitable Activity Clusters for Decomposed Process Discovery.
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

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. Services Computing, 2013

Strategies for Modeling Complex Processes Using Colored Petri Nets.
Trans. Petri Nets and Other Models of Concurrency, 2013

Discovering Petri Nets from Event Logs.
Trans. Petri Nets and Other Models of Concurrency, 2013

Monitoring business constraints with the event calculus.
ACM TIST, 2013

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

Supervisory control service for supporting flexible processes.
Industrial Management and Data Systems, 2013

Decomposing Petri nets for process mining: A generic approach.
Distributed and 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

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.
Wiley Interdisc. Rew.: Data Mining and Knowledge Discovery, 2012

Aggregating Causal Runs into Workflow Nets.
Trans. Petri Nets and Other Models of Concurrency, 2012

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

Workflow patterns put into context.
Software and System Modeling, 2012

What makes a good process model? - Lessons learned from process mining.
Software and System Modeling, 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.
Informatik Spektrum, 2012

Lightweight Interacting Patient Treatment Processes.
IJKBO, 2012

Visual support for work assignment in process-aware information systems: Framework formalisation and implementation.
Decision Support Systems, 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.
Artificial Intelligence in 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.
Wirtschaftsinformatik, 2011

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

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

Verifying workflow processes: a transformation-based approach.
Software and System Modeling, 2011

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

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

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

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

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

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

Conceptual model for online auditing.
Decision Support Systems, 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.
IEEE Computer, 2011

Business Process Management in the Large.
Business & Information Systems Engineering, 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

Discovering Hierarchical Process Models Using ProM.
Proceedings of the CAiSE Forum 2011, London, UK, June 22-24, 2011, 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

When Process Mining Meets Bioinformatics.
Proceedings of the CAiSE Forum 2011, London, UK, June 22-24, 2011, 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 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.
TWEB, 2010

Schedule-Aware Workflow Management Systems.
Trans. Petri Nets and Other Models of Concurrency, 2010

Process mining: a two-step approach to balance between underfitting and overfitting.
Software and System Modeling, 2010

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

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

Proclets in healthcare.
Journal of Biomedical Informatics, 2010

Seven process modeling guidelines (7PMG).
Information & Software Technology, 2010

Preserving correctness during business process model configuration.
Formal Asp. 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.
Concurrency and Computation: Practice and Experience, 2010

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

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

Process Discovery: Capturing the Invisible.
IEEE Comp. Int. 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. Systems, Man, and Cybernetics, 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 and Other Models of Concurrency, 2009

From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems.
Trans. Petri Nets and Other Models of Concurrency, 2009

Soundness of Workflow Nets with Reset Arcs.
Trans. Petri Nets and Other Models of Concurrency, 2009

Process-Aware Information Systems: Lessons to Be Learned from Process Mining.
Trans. Petri Nets and Other Models of Concurrency, 2009

Questionnaire-based variability modeling for system configuration.
Software and System Modeling, 2009

Soft reliability: an interdisciplinary approach with a user-system focus.
Quality and Reliability 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.
Information & Software Technology, 2009

Patterns-based evaluation of open source BPM systems: The cases of jBPM, OpenWFE, and Enhydra Shark.
Information & Software Technology, 2009

Complexity metrics for Workflow nets.
Information & Software Technology, 2009

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

Declarative workflows: Balancing between flexibility and support.
Computer Science - R&D, 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.
Concurrency and Computation: Practice and Experience, 2009

Radiology information system: a workflow-based approach.
Int. J. Computer Assisted Radiology and Surgery, 2009

Business process verification - finally a reality!
Business Proc. Manag. Journal, 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 and Other Models of Concurrency, 2008

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

Discovering colored Petri nets from event logs.
STTT, 2008

From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system.
STTT, 2008

Protos2CPN: using colored Petri nets for configuring and testing business processes.
STTT, 2008

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

Translating unstructured workflow processes to readable BPEL: Theory and implementation.
Information & Software Technology, 2008

Mining E-Mail Messages: Uncovering Interaction Patterns and Processes using E-Mail Logs.
IJIIT, 2008

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

Using process mining to learn from process changes in evolutionary systems.
IJBPIM, 2008

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

Getting rid of OR-joins and multiple start events in business process models.
Enterprise IS, 2008

Towards comprehensive support for organizational mining.
Decision Support Systems, 2008

From conceptual process models to running systems: A holistic approach for the configuration of enterprise system processes.
Decision Support Systems, 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.
Computers in Industry, 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

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.
STTT, 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.
Journal of Biomedical Informatics, 2007

Research Paper: A Pattern-based Analysis of Clinical Computer-interpretable Guideline Modeling Languages.
JAMIA, 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 axalant.
Int. J. Computer Integrated Manufacturing, 2007

The role of business processes in service oriented architectures (Editorial).
IJBPIM, 2007

An SOA-based architecture framework.
IJBPIM, 2007

Workflow Management Systems for Grid Computing.
ERCIM News, 2007

A formal modeling approach for supply chain event management.
Decision Support Systems, 2007

Deadline-based escalation in process-aware information systems.
Decision Support Systems, 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.
Computers in Industry, 2007

Exploring the CSCW spectrum using process mining.
Advanced Engineering 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, 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 Real 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.
IJIPT, 2006

Model-based software configuration: patterns and languages.
EJIS, 2006

Matching observed behavior and modeled behavior: An approach based on Petri nets and integer programming.
Decision Support Systems, 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

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

DecSerFlow: Towards a Truly Declarative Service Flow Language.
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. Information Management, 2005

Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance.
Electr. Notes Theor. Comput. Sci., 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.
Computer Supported 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

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

Process-Aware Information Systems: Bridging People and Software Through Process Technology
Wiley, ISBN: 978-0-471-66306-5, 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.
Information Technology and Management, 2004

Bridging The Gap Between Business Models And Workflow Specifications.
Int. J. Cooperative Inf. Syst., 2004

Advances in business process management.
Data Knowl. Eng., 2004

Process mining: a research agenda.
Computers in Industry, 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. of Management Information Systems, 2003

Advanced Topics in Workflow Management: Issues, Requirements, and solutions.
Transactions of the SDPS, 2003

Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control?
Information Technology and Management, 2003

XML - Based Schema Definition for Support of Interorganizational Workflow.
Information Systems Research, 2003

The Case Handling Case.
Int. J. Cooperative Inf. Syst., 2003

Rediscovering workflow models from event-based data using little thumb.
Integrated Computer-Aided Engineering, 2003

Web Services: Been There, Done That?
IEEE Intelligent Systems, 2003

Challenges in Business Process Management: Verification of Business Processing Using Petri Nets.
Bulletin of the EATCS, 2003

Workflow Patterns.
Distributed and Parallel Databases, 2003

Workflow mining: A survey of issues and approaches.
Data Knowl. Eng., 2003

Fundamentals of control flow in workflows.
Acta Inf., 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. of Management Information Systems, 2002

Inheritance of Interorganizational Workflows to Enable Business-to-Business.
Electronic Commerce Research, 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
MIT Press, ISBN: 0-262-01189-1, 2002

2001
Inheritance of behavior.
J. Log. Algebr. Program., 2001

Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change.
Information Systems Frontiers, 2001

Proclets: A Framework for Lightweight Interacting Workflow Processes.
Int. J. Cooperative Inf. Syst., 2001

Re-engineering knock-out processes.
Decision Support Systems, 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.
Information & Management, 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.
ICATPN, 2000

Ex Spect 6.4: An Executable Specification Tool for Hierarchical Colored Petri Nets.
ICATPN, 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.
Information & Software Technology, 1999

Processes Driving the Networked Economy.
IEEE Concurrency, 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.
Journal of Circuits, Systems, and Computers, 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

1995
Analysis of Railway Stations by Means of Interval Timed Coloured Petri Nets.
Real-Time Systems, 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...