Tagged Generalized Stochastic Petri Nets

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.

[1]  Marco Ajmone Marsan,et al.  Modelling with Generalized Stochastic Petri Nets , 1995, PERV.

[2]  W. Knottenbelt,et al.  Hypergraph-based parallel computation of passage time densities in large semi-Markov models , 2004 .

[3]  Samuel Kounev,et al.  QPME - Queueing Petri Net Modeling Environment , 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).

[4]  Ramon Puigjaner,et al.  Computer Performance Evaluation , 2000, Lecture Notes in Computer Science.

[5]  V. Kulkarni.  Modeling and Analysis of Stochastic Systems , 1996 .

[6]  Nicholas J. Dingle,et al.  Automated Customer-Centric Performance Analysis of Generalised Stochastic Petri Nets Using Tagged Tokens , 2009, Electron. Notes Theor. Comput. Sci..

[7]  Randolph Nelson,et al.  Probability, Stochastic Processes, and Queueing Theory , 1995 .

[8]  Jeremy T. Bradley,et al.  Performance Trees: Expressiveness and Quantitative Semantics , 2007 .

[9]  Peter Buchholz,et al.  Hierarchically combined queueing Petri nets , 1994 .

[10]  Randolph D. Nelson,et al.  Probability, stochastic processes, and queueing theory - the mathematics of computer performance modeling , 1995 .

[11]  Gábor Horváth,et al.  A tool support for automatic analysis based on the tagged customer approach , 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).

[12]  Andrew S. Miner,et al.  Computing response time distributions using stochastic Petri nets and matrix diagrams , 2003, 10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings..

[13]  Falko Bause,et al.  QPN -Tool for Qualitative and Quantitative Analysis of Queueing Petri Nets , 1994, Computer Performance Evaluation.