Toggle Main Menu Toggle Search

Open Access padlockePrints

Structured Occurrence Nets: Incomplete, contradictory and uncertain failure evidence

Lookup NU author(s): Professor Brian RandellORCiD, Professor Maciej KoutnyORCiD

Downloads


Abstract

Occurrence Nets (ONs) are directed acyclic graphs that represent causality and concurrency information concerning a single execution of a system. Structured Occurrence Nets (SONs), consist of multiple ONs associated together by means of various types of formal relationship, and are intended for recording information about either (i) the actual or envisaged behaviour of complex systems, as they interact and evolve, or (ii) evidence that is being gathered and analysed concerning the past behaviour of complex evolving systems. The present report is intended as an addition to our prior work, focussed on the problem of supporting the analysis of evidence about the activities of complex (hardware, software and human) systems that were involved in cybercrime, or are implicated in major accidents, situations in which all that is likely to be to hand is incomplete, contradictory and uncertain evidence.


Publication metadata

Author(s): Randell B, Koutny M

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2009

Pages: 26

Print publication date: 01/09/2009

Source Publication Date: September 2009

Report Number: 1170

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1170.pdf


Share