A framework to decompose GSPN models

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

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)


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
Title of host publicationInternational Conference on Application and Theory of Petri Nets ICATPN 2005: Applications and Theory of Petri Nets 2005
Number of pages20
ISBN (Electronic)978-3-540-31559-9
ISBN (Print)978-3-540-26301-2
Publication statusPublished - 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

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Conference26th International Conference on Applications and Theory of Petri Nets 2005, ICATPN 2005
Country/TerritoryUnited States
CityMiami, FL


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

Cite this