Toggle Main Menu Toggle Search

Open Access padlockePrints

Verification and Simulation Tool for Communication Structured Occurrence Nets

Lookup NU author(s): Dr Bowen LiORCiD



Occurrence nets (ONs) are acyclic Petri nets recording single system executions. Structured occurrence nets (SONs), composed of multiple ONs together with additional relationships, are intended for portraying the behaviour of complex evolving systems. Such systems generally consist of a large number of sub-systems which may proceed concurrently and interact with each other. In this paper, we describe a tool support for visualisation, verification and simulation of occurrence nets, and of communication structured occurrence nets which are a basic variant of SONs.

Publication metadata

Author(s): Li B

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2012

Pages: 14

Print publication date: 01/12/2012

Source Publication Date: December 2012

Report Number: 1363

Institution: Newcastle University

Place Published: Newcastle upon Tyne