Working with the Past: Integrating History in Petri Nets

  • Authors:

  • Kees van Hee;Alexander Serebrenik;Natalia Sidorova;Wil van der Aalst

  • Affiliations:

  • Department of Mathematics and Computer Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands. k.m.v.hee, a.serebrenik, n.sidorova, w.m.p.v.d.aalst@tue.nl;(Correspd.) Department of Mathematics and Computer Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands. k.m.v.hee, a.serebrenik, n.sidorova, w.m.p.v.d.aal ...;Department of Mathematics and Computer Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands. k.m.v.hee, a.serebrenik, n.sidorova, w.m.p.v.d.aalst@tue.nl;Department of Mathematics and Computer Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands. k.m.v.hee, a.serebrenik, n.sidorova, w.m.p.v.d.aalst@tue.nl

  • Venue:
  • Fundamenta Informaticae - PETRI NETS 2007
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.