Automatic synchronisation detection in petri net performance models derived from location tracking data

Authors:
Nikolas Anastasiou;William Knottenbelt
Affiliations:
Department of Computing, Imperial College London South Kensington Campus, London, UK;Department of Computing, Imperial College London South Kensington Campus, London, UK
Venue:
EPEW'11 Proceedings of the 8th European conference on Computer Performance Engineering
Year:
2011

Citing 5
Cited 2

A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems

ACM Transactions on Computer Systems (TOCS)
Hyper-Erlang distribution model and its application in wireless mobille networks

Wireless Networks - Special issue: Design and modeling in mobile and wireless systsems
A Novel Approach for Phase-Type Fitting with the EM Algorithm

IEEE Transactions on Dependable and Secure Computing
The Petri net markup language: concepts, technology, and tools

ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Deriving generalised stochastic Petri net performance models from high-precision location tracking data

Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools

Deriving coloured generalised stochastic petri net performance models from high-precision location tracking data

Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering
PEPERCORN: inferring performance models from location tracking data

QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.