Token History Petri Nets

Issue title: Concurrency Specification and Programming (CS&P)

Article type: Research Article

Authors: van Hee, Kees | Serebrenik, Alexander | Sidorova, Natalia

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, [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: State of the art information system commonly record events in log files, also known as audit trails. Moreover, business processes often go beyond the sole recording the events and base decisions on the events observed in the past. To model such processes we extend the basic Petri net framework with the notion of history by associating tokens with histories, adding guards evaluated on the history to the transitions and mapping arcs to expressions involving histories. Guards and arc expressions can involve data associated with the transitions.

Journal: Fundamenta Informaticae, vol. 85, no. 1-4, pp. 219-234, 2008