Skip to main content

Formal Techniques for Simulations of Distributed Web System Models

  • Conference paper
  • First Online:
Cognitive Informatics and Soft Computing

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 1317))


This work aims to develop models of different types of systems for the performance evaluation. From different models, we chose two types of formal models, such as Petri nets (PNs) and queuing nets (QNs), as well as tools to support model creation. This paper presents the class of distributed information systems. In these systems, the clients’ interaction time can be compared to the system offer change time. The simulations were the main method of analysis. This work aims to bring the model closer to reality and verifies its behavior in the case of parameter changes.

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

Access this chapter

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
USD 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.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

Similar content being viewed by others


  1. 1.

  2. 2.

    This article focuses on the last two models.


  1. Bennaceur, W., Kloul, L.: Formal models for safety and performance analysis of a data center system. Relia. Eng. Syst. Saf. 193 (2019)

    Google Scholar 

  2. Samolej, S., Szmuc, T.: HTCPNs-based modelling and evaluation of dynamic computer cluster reconfiguration. Lect. Notes Comput. Sci. 7054, 97–108 (2012)

    Article  Google Scholar 

  3. Kounev, S.: Performance Engineering of Distributed Component-Base Systems, Benchmarking, Modeling and Performance Prediction. Shaker Verlag (2006)

    Google Scholar 

  4. Mostefaoui, A., Polze, A., Baquero, C., Ezhilchelvan, P., Lundberg, L.: Topic 8: distributed systems and algorithms. In: Wolf F., Mohr B., Mey D. (eds) Parallel Processing, Lecture Notes in Computer Science, vol. 8097 (2013)

    Google Scholar 

  5. Rak, T., Samolej, S.: Distributed Internet systems modeling using TCPNs. Int. Multiconf. Comput. Sci. Inform. Technol. 1(2), 515–522 (2008)

    Google Scholar 

  6. Rzonca, D., Rzasa, W., Samolej, S.: Consequences of the form of restrictions in Coloured Petri Net models for behaviour of arrival stream generator used in performance evaluation. Comput. Netw. (CN) (2018). [Communications in Computer and Information Science, Springer International Publishing, vol. 860, pp. 300–310 (2018)]

    Google Scholar 

  7. Pawlik, R., Werewka, J.: Recreation of containers for high availability architecture and container-based applications. Commun. Comput. Inform. Sci. 1039, 287–298 (2019)​.

  8. Menasce, D.A., Almeida, V.A.F., Dowdy, L.: Performance by design: computer capacity planning by example. Prentice Hall (2004)

    Google Scholar 

  9. Mironescu I. D., Vinan L.: A task scheduling algorithm for HPC applications using colored stochastic Petri Net models. In: International Conference on Intelligent Computer Communication and Processing, pp. 479–486 (2017)

    Google Scholar 

  10. Szpyrka, M., Podolski, L., Wypych, M.: Modelling and verification of real-time systems with Alvis (2018)

    Google Scholar 

  11. Zatwarnicki, K., Zatwarnicka, A.: Application of an intelligent request distribution broker in two-layer cloud-based Web system. Comput. Collective Intelligence Lect. Notes Comput. Sci. 11684 (2019)

    Google Scholar 

  12. Rak, T. Modeling Web Client and System Behavior. Inform. 11, 337 (2020).

  13. Fiuk, M., Czachorski, T.: A queueing model and performance analysis of UPnP/HTTP client server interactions in networked control systems. Commun. Comput. Inform. Sci. 1039, 366–386 (2019).

  14. Jensen, K.: Coloured Petri Nets, Basic Concepts. Analysis Methods and Practical Use, vol. 1–3 (1996)

    Google Scholar 

  15. Krajewska, A.: Performance modeling of database systems: a survey. J. Telecommun. Inf. Technol. 8, 37–45 (2019)

    Google Scholar 

  16. Xiong, X., Li, K., Zhao, G.: The evaluation of performance cost for network based moving target defense. J. Phys. Conf. Ser. 1303 (2019)

    Google Scholar 

  17. Pant, A.: Design and investigation of a web application environment with bounded response time. Int. J. Latest Trends Eng. Technol. 14, 31–33 (2019)

    Google Scholar 

  18. Rak, T.: Cluster-based web system models for different classes of clients in QPN. Comput. Netw. Commun. Comput. Inf. Sci. 1039, 347–365 (2019)

    Google Scholar 

  19. Alba, A.: On the role of distributed computing in big data analytics. Scalable computing and communications, distributed computing in big data analytics. 1–10 (2017).

  20. Wells, L.: Performance analysis using CPN tools. In: International conference on performance evaluation methodologies tools, ACM international conference proceeding series (2006).

  21. Szpyrka, M., Wypych, M., Biernacki, J., Podolski, L.: Discrete-time systems modeling and verification with alvis language and tools. IEEE Access 6, 78766–78779 (2019)

    Article  Google Scholar 

  22. Rak, T.: Response time analysis of distributed Web systems using QPNs. Math. Prob. Eng. (2015).

  23. Zatwarnicki, K., Patek, M., Zatwarnicka, A.: A cluster-based quality aware Web system. Information systems architecture and technology, pp. 15–24 (2016)

    Google Scholar 

  24. Requeno, J., Merseguer, J., Bernardi, S., Palacin, D.P., Giotis, G., Papanikolaou, V.: Quantitative analysis of Apache storm applications: The NewsAsset case study. Inf. Syst. Frontiers 21, 67–85 (2009)

    Article  Google Scholar 

  25. Li, Z., Jiao, L., Hu, X.: Performance analysis for job scheduling in hierarchical HPC systems: a Coloured Petri Nets method. Lect. Notes Comput. Sci. 9531, 259–280 (2015)

    Article  Google Scholar 

  26. Lu, C., Lu, Y., Abdelzaher, T.F., Stankovic, J.A., Son, S.H.: Feedback control architecture and design methodology for service delay guarantees in Web servers. IEEE Trans. Parallel Distrib. Syst. 17, 1014–1027 (2006)

    Article  Google Scholar 

  27. Rak, T.: Performance analysis of distributed Internet system models using QPN simulation. In: Federated conference on computer science and information systems, institute of electrical and electronics engineers inc., ACSIS-annals of computer science and information systems, vol. 2, pp. 769–774 (2014)

    Google Scholar 

  28. Vu, D., Nguyen, T., Quyet, H.T.: Formal transformation from UML sequence diagrams to queueing petri nets. Front. Art. Intelli. Appl. 318, 588–601 (2019).

Download references

Author information

Authors and Affiliations


Corresponding author

Correspondence to Tomasz Rak .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2021 The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Rak, T. (2021). Formal Techniques for Simulations of Distributed Web System Models. In: Mallick, P.K., Bhoi, A.K., Marques, G., Hugo C. de Albuquerque, V. (eds) Cognitive Informatics and Soft Computing. Advances in Intelligent Systems and Computing, vol 1317. Springer, Singapore.

Download citation

Publish with us

Policies and ethics