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

W.M.P. Aalst, van der

doi:10.1016/j.dss.2006.03.013

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

W.M.P. Aalst, van der

Information Systems IE&IS

Research output: Contribution to journal › Article › Academic › peer-review

15 Citations (Scopus)

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.

Original language	English
Pages (from-to)	1843-1859
Journal	Decision Support Systems
Volume	42
Issue number	3
DOIs	https://doi.org/10.1016/j.dss.2006.03.013
Publication status	Published - 2006

Access to Document

10.1016/j.dss.2006.03.013

Cite this

@article{a85dd0d62f784c6ba6708570048dc4ee,

title = "Matching observed behavior and modeled behavior : an approach based on Petri nets and integer programming",

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.",

author = "\{Aalst, van der\}, W.M.P.",

year = "2006",

doi = "10.1016/j.dss.2006.03.013",

language = "English",

volume = "42",

pages = "1843--1859",

journal = "Decision Support Systems",

issn = "0167-9236",

publisher = "Elsevier B.V.",

number = "3",

}

TY - JOUR

T1 - Matching observed behavior and modeled behavior : an approach based on Petri nets and integer programming

AU - Aalst, van der, W.M.P.

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

U2 - 10.1016/j.dss.2006.03.013

DO - 10.1016/j.dss.2006.03.013

M3 - Article

SN - 0167-9236

VL - 42

SP - 1843

EP - 1859

JO - Decision Support Systems

JF - Decision Support Systems

IS - 3

ER -

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

Abstract

Access to Document

Fingerprint

Cite this