Toggle Main Menu Toggle Search

Open Access padlockePrints

Unfolding CSPT-nets

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


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


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: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: PNSE 2015 Petri Nets and Software Engineering

Year of Conference: 2015

Pages: 207-226

Online publication date: 07/07/2015

Acceptance date: 01/01/1900

ISSN: 1613-0073

Publisher: CEUR-WS


Series Title: CEUR Workshop Proceedings