Token History Petri Nets

Authors:
Kees van Hee;Alexander Serebrenik;Natalia Sidorova
Affiliations:
Department of Mathematics and Computer Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands. k.m.v.hee, a.serebrenik, n.sidorova@tue.nl;(Correspd.) Department of Mathematics and Computer Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands. k.m.v.hee, a.serebrenik, n.sidorova@tue.nl;Department of Mathematics and Computer Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands. k.m.v.hee, a.serebrenik, n.sidorova@tue.nl
Venue:
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Year:
2008

Citing 16
Cited 0

Petri nets: an introduction

Petri nets: an introduction
Sequential and concurrent behaviour in Petri net theory

Theoretical Computer Science
The equational theory of pomsets

Theoretical Computer Science
Model checking and abstraction

ACM Transactions on Programming Languages and Systems (TOPLAS)
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3

Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Patterns in property specifications for finite-state verification

Proceedings of the 21st international conference on Software engineering
Workflow management: models, methods, and systems

Workflow management: models, methods, and systems
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Workflow Patterns

Distributed and Parallel Databases
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets

Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Algebraic Characterization of Petri Net Pomset Semantics

CONCUR '97 Proceedings of the 8th International Conference on Concurrency Theory
Some Constructions for Order-Theoretic Models of Concurrency

Proceedings of the Conference on Logic of Programs
Event Structures

Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part II
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

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.