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 -