@inproceedings{a94587d91ab64412a57d5d450a9e0e2c,
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",
note = "Copyright: Springer-Verlag Berlin Heidelberg 2005; 26th International Conference on Applications and Theory of Petri Nets 2005, ICATPN 2005 ; Conference date: 20-06-2005 Through 25-06-2005",
year = "2005",
month = jun,
doi = "10.1007/11494744_9",
language = "English",
isbn = "978-3-540-26301-2",
volume = "3536",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "128--147",
booktitle = "International Conference on Application and Theory of Petri Nets ICATPN 2005: Applications and Theory of Petri Nets 2005",
address = "Netherlands",
edition = "LNCS",
}