|
| << vorige |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 8 van 8 gevonden artikelen
| Titel: |
Working with the Past: Integrating History in Petri Nets |
| Auteur: |
van Hee, Kees Serebrenik, Alexander Sidorova, Natalia van der Aalst, Wil |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 88 (2008) nr. 3 pagina's 387-409 |
| Jaar: |
2008-12-18 |
| Inhoud: |
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. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 8 van 8 gevonden artikelen
| << vorige |
Toegankelijkheidsverklaring