Modelling with history-dependent Petri nets

Authors:
Kees Van Hee;Alexander Serebrenik;Natalia Sidorova;Marc Voorhoeve;Jan Martijn Van Der Werf
Affiliations:
Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands;Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands;Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands;Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands;Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands
Venue:
BPM'07 Proceedings of the 5th international conference on Business process management
Year:
2007

Citing 8
Cited 1

Event structures

Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Predicate/transition nets

Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Sequential and concurrent behaviour in Petri net theory

Theoretical Computer Science
Deriving production rules for constraint maintenance

Proceedings of the sixteenth international conference on Very large databases
Active Database Systems: Triggers and Rules for Advanced Database Processing

Active Database Systems: Triggers and Rules for Advanced Database Processing
Domain and event structure semantics for Petri nets with read and inhibitor arcs

Theoretical Computer Science
History-dependent Petri nets

ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
History-dependent automata: an introduction

SFM-Moby'05 Proceedings of the 5th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: mobile computing

Oclets --- Scenario-Based Modeling with Petri Nets

PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.