Toggle Main Menu Toggle Search

ePrints

Unfolding CSPT-nets

Lookup NU author(s): Dr Bowen Li, Professor Maciej Koutny

Downloads


Abstract

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

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1463.pdf


Share