ACM Transactions on Computer Systems (TOCS)
Coloured generalized stochastic petri nets for integrated systems protocol performance modelling
Computer Communications
On the solution of GSPN reward models
Performance Evaluation
Probabilistic modelling
Performance Trees: A New Approach to Quantitative Performance Specification
MASCOTS '06 Proceedings of the 14th IEEE International Symposium on Modeling, Analysis, and Simulation
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
Location-aware quality of service measurements for service-level agreements
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Performance and security tradeoff
SFM'10 Proceedings of the Formal methods for quantitative aspects of programming languages, and 10th international conference on School on formal methods for the design of computer, communication and software systems
Computing first passage time distributions in stochastic well-formed nets
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
Fluid computation of passage-time distributions in large Markov models
Theoretical Computer Science
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 |
Since tokens in Generalised Stochastic Petri Net (GSPN) models are indistinguishable, it is not always possible to reason about customer-centric performance measures. To remedy this, we propose ''tagged tokens'' - a variant of the ''tagged customer'' technique used in the analysis of queueing networks. Under this scheme, one token in a structurally restricted net is ''tagged'' and its position tracked as it moves around the net. Performance queries can then be phrased in terms of the position of the tagged token. To date, the tagging of customers or tokens has been a time-consuming, manual and model-specific process. By contrast, we present here a completely automated methodology for the tagged token analysis of GSPNs. We first describe an intuitive graphical means of specifying the desired tagging configuration, along with the constraints on GSPN structure which must be observed for tagged tokens to be incorporated. We then present the mappings required for automatically converting a GSPN with a user-specified tagging structure into a Coloured GSPN (CGSPN), and thence into an unfolded GSPN which can be analysed for performance measures of interest by existing tools. We further show how our methodology integrates with Performance Trees, a formalism for the specification of performance queries. We have implemented our approach in the open source PIPE Petri net tool, and use this to illustrate the extra expressibility granted by tagged tokens through the analysis of a GSPN model of a hospital's Accident and Emergency department.