The inference of performance models from low-level location tracking traces provides a means to gain high-level insight into customer and/or resource flow in complex systems. In this context our earlier work presented a methodology for automatically constructing Petri Net performance models from location tracking data. However, the capturing of synchronisation between service centres – the natural expression of which is one of the most fundamental advantages of Petri nets as a modelling formalism – was not explicitly supported. In this paper, we introduce mechanisms for automatically detecting and incorporating synchronisation into our existing methodology. We present a case study based on synthetic location tracking data where the derived synchronisation detection mechanism is applied.
|Data di pubblicazione:||2011|
|Titolo:||Automatic Synchronisation Detection in Petri Net Performance Models Derived from Location Tracking Data|
|Titolo del libro:||Proceedings of the 8th European conference on Computer Performance Engineering|
|Digital Object Identifier (DOI):||http://dx.doi.org/10.1007/978-3-642-24749-1_4|
|Appare nelle tipologie:||4.1 Articolo in Atti di convegno|
File in questo prodotto:
|epew.pdf||Documento in Post-print||Accesso chiuso-personale||Riservato|