Toggle Main Menu Toggle Search

Open Access padlockePrints

Unfolding CSPT-nets

Lookup NU author(s): Dr Bowen LiORCiD, Professor Maciej KoutnyORCiD



Communication structured occurrence nets CSONs are the basic variant of structured occurrence nets which have been introduced to characterise the behaviours of complex evolving systems. A CSON has the capability of portraying different types of interaction between systems by using special elements to link with multiple (component) occurrence nets. Communication structured place transition nets CSPT-nets are the system-level counterpart of CSONs. In this paper, we investigate CSPT-nets unfoldings containing representations of all the single runs of the original nets captured by CSONs. We develop several useful notions related to CSPT-net unfoldings, and then present an algorithm for constructing the new class of unfolding.

Publication metadata

Author(s): Li B, Koutny M

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2015

Pages: 29

Online publication date: 01/04/2015

Report Number: 1463

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

Place Published: University of Newcastle upon Tyne