Token History Petri Nets

摘要

Abstract. State of the art information system commonly record events in log files, also known asnaudit trails. Moreover, business processes often go beyond the sole recording the events and basendecisions on the events observed in the past. To model such processes we extend the basic Petri netnframework with the notion of history by associating tokens with histories, adding guards evaluatednon the history to the transitions and mapping arcs to expressions involving histories. Guards and arcnexpressions can involve data associated with the transitions.