A framework to decompose GSPN models

Leonardo Brenner, Paulo Fernandes*, Afonso Sales, Thais Webber

*Corresponding author for this work

Research output: Contribution to journalConference articlepeer-review


This paper presents a framework to decompose a single GSPN model into a set of small interacting models. This decomposition technique can be applied to any GSPN model with a finite set of tangible markings and a generalized tensor algebra (Kronecker) representation can be produced automatically. The numerical impact of all the possible decompositions obtained by our technique is discussed. To do so we draw the comparison of the results for some practical examples. Finally, we present all the computational gains achieved by our technique, as well as the future extensions of this concept for other structured formalisms.

Original languageEnglish
Pages (from-to)128-147
Number of pages20
JournalLecture Notes in Computer Science
Publication statusPublished - 9 Jun 2005
Event26th International Conference on Applications and Theory of Petri Nets 2005, ICATPN 2005 - Miami, FL, United States
Duration: 20 Jun 200525 Jun 2005


Dive into the research topics of 'A framework to decompose GSPN models'. Together they form a unique fingerprint.

Cite this