Matching observed behavior and modeled behavior: an approach based on petri nets and integer programming

Authors:
Wil M. P. van der Aalst
Affiliations:
Department of Technology Management, Eindhoven University of Technology, Eindhoven, The Netherlands
Venue:
Decision Support Systems
Year:
2006

Citing 21
Cited 1

Petri nets: an introduction

Petri nets: an introduction
A new polynomial-time algorithm for linear programming

Combinatorica
Theory of linear and integer programming

Theory of linear and integer programming
Free choice Petri nets

Free choice Petri nets
SAP R/3 business blueprint: understanding the business process reference model

SAP R/3 business blueprint: understanding the business process reference model
Discovering models of software processes from event-based data

ACM Transactions on Software Engineering and Methodology (TOSEM)
The Sap R/3 Handbook

The Sap R/3 Handbook
Sap R/3 Process Oriented Implementation

Sap R/3 Process Oriented Implementation
Mining Process Models from Workflow Logs

EDBT '98 Proceedings of the 6th International Conference on Extending Database Technology: Advances in Database Technology
Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems

Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Basic Linear Algebraic Techniques for Place or Transition Nets

Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Workflow-Based Process Monitoring and Controlling ¾ Technical and Organizational Issues

HICSS '00 Proceedings of the 33rd Hawaii International Conference on System Sciences-Volume 6 - Volume 6
Process Management

Process Management
Workflow mining: a survey of issues and approaches

Data & Knowledge Engineering
Workflow Mining: Discovering Process Models from Event Logs

IEEE Transactions on Knowledge and Data Engineering
Mining configurable enterprise information systems

Data & Knowledge Engineering
Rediscovering workflow models from event-based data using little thumb

Integrated Computer-Aided Engineering
Business process cockpit

VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Soundness and separability of workflow nets in the stepwise refinement approach

ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Verification of EPCs: using reduction rules and petri nets

CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
The prom framework: a new era in process mining tool support

ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets

A business process gap detecting mechanism between information system process flow and internal control flow

Decision Support Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Inspired by the way SAP R/3 and other transactional information systems log events, we focus on the problem to decide whether a process model and a frequency profile "fit" together. The problem is formulated in terms of Petri nets and an approach based on integer programming is proposed to tackle the problem. The integer program provides necessary conditions and, as shown in this paper, for relevant subclasses these conditions are sufficient. Unlike traditional approaches, the approach allows for labeled Petri nets with "hidden transitions", noise, etc.