Automated Customer-Centric Performance Analysis of Generalised Stochastic Petri Nets Using Tagged Tokens

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.

[1]  Isi Mitrani,et al.  Probabilistic Modelling , 1998 .

[2]  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).

[3]  Kishor S. Trivedi,et al.  On the Solution of GSPN Reward Models , 1991, Perform. Evaluation.

[4]  Marco Ajmone Marsan,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.

[5]  Alexander K. Petrenko,et al.  Electronic Notes in Theoretical Computer Science , 2009 .

[6]  Marco Ajmone Marsan,et al.  A class of generalised stochastic petri nets for the performance evaluation of multiprocessor systems , 1983, SIGMETRICS '83.

[7]  Jeremy T. Bradley,et al.  Performance Trees: Expressiveness and Quantitative Semantics , 2007, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).

[8]  Jeremy T. Bradley,et al.  Performance Trees: A New Approach to Quantitative Performance Specification , 2006, 14th IEEE International Symposium on Modeling, Analysis, and Simulation.

[9]  Peter Kemper,et al.  Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior , 2007 .

[10]  Peter G. Harrison,et al.  HYDRA: HYpergraph-Based Distributed Response-Time Analyzer , 2003, PDPTA.

[11]  Jane Hillston,et al.  A compositional approach to performance modelling , 1996 .

[12]  Stephen Gilmore,et al.  Location-Aware Quality of Service Measurements for Service-Level Agreements , 2007, TGC.

[13]  Nicolas D. Georganas,et al.  Coloured generalized stochastic Petri nets for integrated systems protocol performance modelling , 1990, Comput. Commun..

[14]  William J. Knottenbelt,et al.  Generalised Markovian analysis of timed transition systems , 1996 .

[15]  Falko Bause,et al.  Stochastic Petri Nets: An Introduction to the Theory , 2012, PERV.

[16]  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..