Toggle Main Menu Toggle Search

Open Access padlockePrints

SONCraft: A Tool for Construction, Simulation and Verification of Structured Occurrence Nets

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



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.

Publication metadata

Author(s): Li B, Koutny M, Randell B

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2016

Pages: 24

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