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

W.M.P. Aalst, van der

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

14 Citaten (Scopus)

Samenvatting

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.
Originele taal-2Engels
Pagina's (van-tot)1843-1859
TijdschriftDecision Support Systems
Volume42
Nummer van het tijdschrift3
DOI's
StatusGepubliceerd - 2006

Vingerafdruk

Duik in de onderzoeksthema's van 'Matching observed behavior and modeled behavior : an approach based on Petri nets and integer programming'. Samen vormen ze een unieke vingerafdruk.

Citeer dit