Most information systems that are driven by process models (e.g., workflow management 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 history-dependent nets can be automatically converted to classical Petri nets for analysis purposes. These classes are characterized by the form of the guards (e.g., LTL guards) and sometimes the additional requirement that the underlying classical Petri net is either bounded or has finite synchronization distances. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Van Hee, K., Serebrenik, A., Sidorova, N., & Van Aalst, W. D. (2007). History-dependent Petri nets. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4546 LNCS, pp. 164–183). Springer Verlag. https://doi.org/10.1007/978-3-540-73094-1_12
Mendeley helps you to discover research relevant for your work.