50
IRUS TotalDownloads
Altmetric
Automated Customer-Centric Performance Analysis of Generalised Stochastic Petri Nets Using Tagged Tokens
File | Description | Size | Format | |
---|---|---|---|---|
entcs-paper.pdf | Accepted version | 794.74 kB | Adobe PDF | View/Open |
Title: | Automated Customer-Centric Performance Analysis of Generalised Stochastic Petri Nets Using Tagged Tokens |
Authors: | Knottenbelt, W Dingle, N |
Item Type: | Conference Paper |
Abstract: | 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 hospitals Accident and Emergency department. |
Issue Date: | 30-Sep-2008 |
URI: | http://hdl.handle.net/10044/1/5832 |
Publisher Link: | http://homepages.cs.ncl.ac.uk/nigel.thomas/PASM08.htm |
Publisher: | Elsevier |
Presented At: | Third International Workshop on Practical Applications of Stochastic Modelling (PASM'08) |
Published Proceedings: | Electronic Notes in Theorectical Computer Science |
Copyright Statement: | © 2009 Elsevier B.V. All rights reserved. NOTICE: this is the author’s version of a work that was accepted for publication in Electronic Notes in Theoretical Computer Science. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOL:232,(2009) DOI:10.1016/j.entcs.2009.02.051 |
Conference Location: | Palma de Mallorca, Spain |
Appears in Collections: | High Performance Informatics |