TY - GEN
T1 - Tagged generalized stochastic petri nets
AU - Balbo, Gianfranco
AU - De Pierro, Massimiliano
AU - Franceschinis, Giuliana
PY - 2009
Y1 - 2009
N2 - This paper introduces an extension of the Generalized Stochastic Petri Net (GSPN) formalism in order to enable the computation of first passage time distributions of tokens. A "tagged token" technique is used which relies on net's structural properties to guide the correct specification of this extension. The extended model is suited for an automatic translation into an ordinary GSPN that can be used for the first passage time analysis. Scheduling policies of tokens in places, that are neglected in ordinary GSPNs, become relevant in the Tagged Generalized Stochastic Petri Net (TGSPN) formalism and specific submodels are proposed which are then used during the translation from TGSPNs to ordinary GSPNs. A running example inspired by a Flexible Manufacturing application is used throughout the paper to introduce the different concepts and to provide evidence of the relevance of the results.
AB - This paper introduces an extension of the Generalized Stochastic Petri Net (GSPN) formalism in order to enable the computation of first passage time distributions of tokens. A "tagged token" technique is used which relies on net's structural properties to guide the correct specification of this extension. The extended model is suited for an automatic translation into an ordinary GSPN that can be used for the first passage time analysis. Scheduling policies of tokens in places, that are neglected in ordinary GSPNs, become relevant in the Tagged Generalized Stochastic Petri Net (TGSPN) formalism and specific submodels are proposed which are then used during the translation from TGSPNs to ordinary GSPNs. A running example inspired by a Flexible Manufacturing application is used throughout the paper to introduce the different concepts and to provide evidence of the relevance of the results.
UR - http://www.scopus.com/inward/record.url?scp=69049112947&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-02924-0_1
DO - 10.1007/978-3-642-02924-0_1
M3 - Conference contribution
AN - SCOPUS:69049112947
SN - 364202923X
SN - 9783642029233
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 1
EP - 15
BT - Computer Performance Engineering - 6th European Performance Engineering Workshop, EPEW 2009, Proceedings
T2 - 6th European Performance Engineering Workshop, EPEW 2009
Y2 - 9 July 2009 through 10 July 2009
ER -