History-Dependent Petri Nets

  • Kees van Hee
  • Alexander Serebrenik
  • Natalia Sidorova
  • Wil van der Aalst
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4546)

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Kees van Hee
    • 1
  • Alexander Serebrenik
    • 1
  • Natalia Sidorova
    • 1
  • Wil van der Aalst
    • 1
  1. 1.Department of Mathematics and Computer Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB EindhovenThe Netherlands

Personalised recommendations