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, [email protected]
Note: [] Address for correspondence: Department of Mathematics and
Computer Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB
Eindhoven, The Netherlands
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.
