Digital Library
Close Browse articles from a journal
 
<< 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
 
 
  Working with the Past: Integrating History in Petri Nets
 
 
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   
 
 Koninklijke Bibliotheek - National Library of the Netherlands
Toegankelijkheidsverklaring