Toggle Main Menu Toggle Search

Open Access padlockePrints

Branching processes of communication structured PT-nets

Lookup NU author(s): Dr Bowen LiORCiD



Communication structured occurrence nets (CSON) are an extension of occurrence nets. They can be used to represent the execution behaviours of complex evolving systems. Communication structured place transition nets (CSPT-nets) provide a system-level model for describing the interaction between different systems, and CSONs can model individual runs of CSPT-nets.In this paper, we investigate branching processes of CSPT-nets which provide a complete information about their behaviours. We also outline an algorithm for the construction of unfoldings of CSPT-nets.

Publication metadata

Author(s): Li B

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2013

Pages: 4

Print publication date: 01/06/2013

Source Publication Date: June 2013

Report Number: 1389

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne