|
| << previous |
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
Details for article 8 of 8 found articles
| Title: |
Working with the Past: Integrating History in Petri Nets |
| Author: |
van Hee, Kees Serebrenik, Alexander Sidorova, Natalia van der Aalst, Wil |
| Appeared in: |
Fundamenta informaticae |
| Paging: | Volume 88 (2008) nr. 3 pages 387-409 |
| Year: |
2008-12-18 |
| Contents: |
Most information systems that are driven by processmodels (e.g., workflowmanagement systems) record events in event logs, also known as transaction logs or audit trails. We consider processes that not only keep track of their history in a log, but also make decisions based on this log. To model such processes we extend the basic Petri net framework with the notion of history and add guards to transitions evaluated on the process history. We show that some classes of historydependent nets can be automatically converted to classical Petri nets for analysis purposes. Some of these classes are characterized by the form of the guards (e.g., LTL+Past guards), while others by restrictions on the underlying classical Petri net. |
| Publisher: |
IOS Press |
| Source file: |
Elektronische Wetenschappelijke Tijdschriften |
Details for article 8 of 8 found articles
| << previous |