Modelling with History-Dependent Petri Nets

  • Kees van Hee
  • Alexander Serebrenik
  • Natalia Sidorova
  • Marc Voorhoeve
  • Jan Martijn van der Werf
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4714)

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. Extending our previous work on history-dependent Petri nets we propose and evaluate a methodology for modelling processes by such nets and show how history-dependent nets can combine modelling comfort with analysability.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

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

Personalised recommendations