Lookup NU author(s): Dr Bowen Li,
Professor Maciej Koutny,
Professor Brian Randell
This is the final published version of a report that has been published in its final definitive form by School of Computing Science, University of Newcastle upon Tyne, 2016.
For re-use rights please refer to the publisher's terms and conditions.
Structured occurrence nets (SONs) are a Petri net based formalism for portraying the behaviour of complex evolving systems. The concept extends that of occurrence nets - a formalism that can be used to record causality and concurrency information concerning a single execution of a system. In SONs, multiple occurrence nets are combined by various types of relationships. In particular, relationships are included that enable the representation of dependencies between communicating and evolving sub-systems. In this paper, we introduce a tool for editing, simulating, and analysing SONs. The present version deals with three of the various types of abstractions that have been defined for SONs.
Author(s): Li B, Koutny M, Randell B
Publication type: Report
Publication status: Published
Series Title: School of Computing Science Technical Report Series
Print publication date: 01/01/2016
Acceptance date: 01/01/2016
Report Number: 1493
Institution: School of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne