Token history Petri nets

K.M. Hee, van, A. Serebrenik, N. Sidorova

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)
3 Downloads (Pure)


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.
Original languageEnglish
Pages (from-to)219-234
JournalFundamenta Informaticae
Issue number1-4
Publication statusPublished - 2008


Dive into the research topics of 'Token history Petri nets'. Together they form a unique fingerprint.

Cite this