Lookup NU author(s): Dr Bowen Li,
Professor Brian Randell,
Dr Anirban Bhattacharyya,
Professor Maciej Koutny
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.
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