A framework to decompose GSPN models

Leonardo Brenner; Paulo Fernandes; Afonso Sales; Thais Webber

doi:10.1007/11494744_9

A framework to decompose GSPN models

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

^*Corresponding author for this work

Research output: Contribution to journal › Conference article › peer-review

Abstract

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 language	English
Pages (from-to)	128-147
Number of pages	20
Journal	Lecture Notes in Computer Science
Volume	3536
DOIs	https://doi.org/10.1007/11494744_9
Publication status	Published - 9 Jun 2005
Event	26th International Conference on Applications and Theory of Petri Nets 2005, ICATPN 2005 - Miami, FL, United States Duration: 20 Jun 2005 → 25 Jun 2005

Access to Document

10.1007/11494744_9

Cite this

@article{514a567089584a439e6e851a3b96d3c7,

title = "A framework to decompose GSPN models",

abstract = "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.",

author = "Leonardo Brenner and Paulo Fernandes and Afonso Sales and Thais Webber",

year = "2005",

month = jun,

day = "9",

doi = "10.1007/11494744_9",

language = "English",

volume = "3536",

pages = "128--147",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer",

note = "26th International Conference on Applications and Theory of Petri Nets 2005, ICATPN 2005 ; Conference date: 20-06-2005 Through 25-06-2005",

}

TY - JOUR

T1 - A framework to decompose GSPN models

AU - Brenner, Leonardo

AU - Fernandes, Paulo

AU - Sales, Afonso

AU - Webber, Thais

PY - 2005/6/9

Y1 - 2005/6/9

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=26444519260&partnerID=8YFLogxK

U2 - 10.1007/11494744_9

DO - 10.1007/11494744_9

M3 - Conference article

AN - SCOPUS:26444519260

SN - 0302-9743

VL - 3536

SP - 128

EP - 147

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - 26th International Conference on Applications and Theory of Petri Nets 2005, ICATPN 2005

Y2 - 20 June 2005 through 25 June 2005

ER -

A framework to decompose GSPN models

Abstract

Access to Document

Other files and links

Fingerprint

Cite this