Lookup NU author(s): Dr Anirban Bhattacharyya,
Dr Bowen Li,
Professor Brian Randell
Full text is not currently available for this publication.
This paper presents a new tool-supported formalism based on collections of related timed occurrence nets, namely, timed structured occurrence nets (timed SONs) for the modelling and analysis of causally related events and concurrent events with uncertain or missing time information in evolving systems of systems. The application domain of timed SONs includes accident and crime investigations. A global discrete time model is used to support consistent causal reasoning about a system and time intervals are used to capture uncertainty about time values. We define the timed SONs notation and conditions for checking the consistency of time information, present algorithms of linear computational complexity for estimating missing time intervals using default duration intervals and redundant time information, and describe the facilities provided by the SONCraft tool.
Author(s): Bhattacharyya A, Li B, Randell B
Publication type: Report
Publication status: Published
Series Title: School of Computing Science Technical Report Series
Print publication date: 14/05/2016
Acceptance date: 17/05/2016
Report Number: 1495
Institution: School of Computing Science University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne