Browse by author
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.
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
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1463.pdf