Browse by author
Lookup NU author(s): Dr Bowen LiORCiD
This is the final published version of a report that has been published in its final definitive form by Newcastle University, 2012.
For re-use rights please refer to the publisher's terms and conditions.
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.
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
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1363.pdf
