Conference
Modelling Provenance Using Structured Occurrence Networks
Abstract
Occurrence Nets (ON) are directed acyclic graphs that represent causality and concurrency information concerning a single execution of a system. Structured Occurrence Nets (SONs) extend ONs by adding new relationships, which provide a means of recording the activities of multiple interacting, and evolving, systems. Although the initial motivations for their development focused on the analysis of system failures, their structure makes them a …
Authors
Missier P; Randell B; Koutny M
Series
Lecture Notes in Computer Science
Volume
7525
Pagination
pp. 183-197
Publisher
Springer Nature
Publication Date
2012
DOI
10.1007/978-3-642-34222-6_14
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743