Skip to main content

Automatic Synchronisation Detection in Petri Net Performance Models Derived from Location Tracking Data

  • Conference paper
Book cover Computer Performance Engineering (EPEW 2011)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 6977))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Anastasiou, N., Horng, T.-C., Knottenbelt, W.: Deriving Generalised Stochastic Petri Net performance models from High-Precision Location Tracking Data. In: Proc. 5th International ICST Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2011), Paris, France (May 2011)

    Google Scholar 

  2. Bause, F., Kritzinger, P.: Stochastic Petri Nets. Friedrich Vieweg & Sohn Verlag (2002)

    Google Scholar 

  3. Billington, J., Christensen, S., van Hee, K.M., Kindler, E., Kummer, O., Petrucci, L., Post, R., Stehno, C., Weber, M.: The petri net markup language: Concepts, technology, and tools. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 483–505. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  4. Bonet, P., Llado, C.M., Puijaner, R., Knottenbelt, W.: PIPE v2.5: A Petri Net Tool for Performance Modelling. In: Proccedings of 23rd Latin American Conference on Informatics (CLEI 2007), San Jose, Costa Rica (October 2007)

    Google Scholar 

  5. Bozdogan, H.: Model selection and Akaike’s Information Criterion (AIC): The general theory and its analytical extensions. Psychometrika 52, 345–370 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  6. Fang, Y.: Hyper-Erlang Distribution Model and its Application in Wireless Mobile Networks. Wireless Networks 7, 211–219 (2001)

    Article  MATH  Google Scholar 

  7. Horng, T.-C., Anastasiou, N., Knottenbelt, W.: LocTrackJINQS: An Extensible Location-aware Simulation Tool for Multiclass Queueing Networks. In: Proc. 5th International Workshop on Practical Applications of Stochastic Modelling (PASM 2011), Karlsruhe, Germany (March 2011)

    Google Scholar 

  8. Horng, T.-C., Dingle, N., Jackson, A., Knottenbelt, W.: Towards the Automated Inference of Queueing Network Models from High-Precision Location Tracking Data. In: Proc. 23rd European Conference on Modelling and Simulation (ECMS 2009), pp. 664–674 ( May 2009)

    Google Scholar 

  9. Marsan, M., Conte, G., Balbo, G.: A Class of Generalized Stochastic Petri Nets for Performance Evaluation of Multiprocessor Systems. ACM Transactions on Computer Systems 2(2), 93–122 (1984)

    Article  Google Scholar 

  10. Thümmler, A., Buchholz, P., Telek, M.: A Novel Approach for Phase-Type Fitting with the EM Algorithm. IEEE Transactions on Dependable and Secure Computing 3, 245–258 (2005)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Anastasiou, N., Knottenbelt, W., Marin, A. (2011). Automatic Synchronisation Detection in Petri Net Performance Models Derived from Location Tracking Data. In: Thomas, N. (eds) Computer Performance Engineering. EPEW 2011. Lecture Notes in Computer Science, vol 6977. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24749-1_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-24749-1_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-24748-4

  • Online ISBN: 978-3-642-24749-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics