Computing Science: Verification and Simulation Tool for Communication Structured Occurrence Nets.

摘要

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.