Modelling with History-Dependent Petri Nets

Most information systems that are driven by process models(e.g., workflow management systems) record events in event logs, alsoknown as transaction logs or audit trails. We consider processes that notonly keep track of their history in a log, but also make decisions basedon this log. Extending our previous work on history-dependent Petrinets we propose and evaluate a methodology for modelling processes bysuch nets and show how history-dependent nets can combine modellingcomfort with analysability.