Matching observed behavior and modeled behavior: An approach based on Petri nets and integer programming [An article from: Decision Support Systems] | ![Matching observed behavior and modeled behavior: An approach based on Petri nets and integer programming [An article from: Decision Support Systems]](http://ecx.images-amazon.com/images/I/5143C7T64DL._SL160_.jpg)
 enlarge | Author: W.m.p. Van Der Aalst
Publisher: Elsevier
Category: Book
Buy New: $10.95
Format: Html
Media: Digital
Pages: 16
Publication Date: December 1, 2006
Availability: Available for download now
| |
| Editorial Reviews:
Product Description
This digital document is a journal article from Decision Support Systems, published by Elsevier in 2006. The article is delivered in HTML format and is available in your Amazon.com Media Library immediately after purchase. You can view it with any web browser.
Description:
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.
|
|
|
