Petri nets: an introduction
Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
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
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
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
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
Domain and event structure semantics for Petri nets with read and inhibitor arcs
Theoretical Computer Science
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
Process Discovery using Integer Linear Programming
Fundamenta Informaticae - Petri Nets 2008
Process Discovery using Integer Linear Programming
Fundamenta Informaticae - Petri Nets 2008
Hi-index | 0.00 |
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.