Toggle Main Menu Toggle Search

Open Access padlockePrints

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

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



This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been published in its final definitive form by IEEE, 2018.

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


This paper presents SONCraft - an open source tool for editing, simulating, and analysing Structured Occurrence Nets(SONs), which is a Petri net-based formalism for portraying the behaviour of complex evolving systems. The tool is implemented as a Java plug-in within the Workcraft platform, which is a flexible framework for the development and analysis of Interpreted Graph Models. SONCraft provides an easy to use graphical interface that facilitates model entry, supports interactive visual simulation, and allows the use of a set of analytical tools. We give an overview of SONCraft functionality and architecture.

Publication metadata

Author(s): Li B, Randell B, Bhattacharyya A, Alharbi T, Koutny M

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 18th International Conference on Application of Concurrency to System Design

Year of Conference: 2018

Online publication date: 24/06/2018

Acceptance date: 02/04/2018

Date deposited: 04/05/2018

Publisher: IEEE