QPN-Tool for qualitative and quantitative analysis of queueing Petri nets
Proceedings of the 7th international conference on Computer performance evaluation : modelling techniques and tools: modelling techniques and tools
Probability, stochastic processes, and queueing theory: the mathematics of computer performance modeling
Modeling and analysis of stochastic systems
Modeling and analysis of stochastic systems
QPME - Queueing Petri Net Modeling Environment
QEST '06 Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems
A tool support for automatic analysis based on the tagged customer approach
QEST '06 Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems
Performance Trees: Expressiveness and Quantitative Semantics
QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
Expressing and computing passage time measures of GSPN models with HASL
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Hi-index | 0.00 |
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.