Modeling with history-dependent Petri nets

K.M. Hee, van, A. Serebrenik, N. Sidorova, M. Voorhoeve, J.M.E.M. Werf, van der

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
121 Downloads (Pure)


Most information systems that are driven by process models (e.g., workflow management 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. Extending our previous work on history-dependent Petri nets we propose and evaluate a methodology for modelling processes by such nets and show how history-dependent nets can combine modelling comfort with analysability.
Original languageEnglish
Title of host publicationProceedings of the 5th International Conference on Business Process Management (BPM 2007) 24-28 September 2007, Brisbane, Australia
EditorsG. Alonso, P. Dadam, M. Rosemann
Place of PublicationBerlin, Germany
ISBN (Print)978-3-540-75182-3
Publication statusPublished - 2007
Event5th International Conference on Business Process Management (BPM 2007) - Brisbane, Australia
Duration: 24 Sep 200728 Sep 2007
Conference number: 5

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Conference5th International Conference on Business Process Management (BPM 2007)
Abbreviated titleBPM 2007


Dive into the research topics of 'Modeling with history-dependent Petri nets'. Together they form a unique fingerprint.

Cite this