Toggle Main Menu Toggle Search

ePrints

Time in Structured Occurrence Nets

Lookup NU author(s): Dr Anirban Bhattacharyya, Dr Bowen Li, Professor Brian Randell

Downloads


Licence

This is the final published version of a conference proceedings (inc. abstract) that has been published in its final definitive form by CEUR-WS.org, 2016.

For re-use rights please refer to the publisher's terms and conditions.


Abstract

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.


Publication metadata

Author(s): Bhattacharyya A, Li B, Randell B

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: International Workshop on Petri Nets and Software Engineering (PNSE’16)

Year of Conference: 2016

Pages: 35-55

Online publication date: 21/06/2016

Acceptance date: 10/05/2016

Publisher: CEUR-WS.org

URL: http://ceur-ws.org/Vol-1591/paper6.pdf

Library holdings: Search Newcastle University Library for this item

Series Title: CEUR Workshop Proceedings

ISBN: 16130073


Actions

Link to this publication


Share