Browse by author
Lookup NU author(s): Professor Brian RandellORCiD, Professor Maciej KoutnyORCiD
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.
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