Top

Published in:

2018 | OriginalPaper | Chapter

Consequences of the Form of Restrictions in Coloured Petri Net Models for Behaviour of Arrival Stream Generator Used in Performance Evaluation

Authors : Dariusz Rzonca, Wojciech Rząsa, Sławomir Samolej

Published in: Computer Networks

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

Coloured Petri Nets formalism is commonly used for modelling various aspects of communication systems. Simulations of such models facilitate performance evaluation. Typically during the simulation a stream of data (tokens) is produced in the part of the model called stream generator, as an input for the latter part of the model. In the paper different models of stream generators are discussed, as well as their influence on distribution of resulting tokens, during the simulation in the CPN Tools software.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

previous chapter GPU Accelerated Non-integer Order Controller Used as AQM Mechanism

next chapter Transient Queueing Delay in a Finite-Buffer Batch-Arrival Model with Constant Repeated Vacations

http://cpntools.org/.

Bause, F.: Queueing Petri Nets - a formalism for the combined qualitative and quantitative analysis of systems. In: PNPM 1993, pp. 14–23. IEEE Press (1993)

Bolch, G., Greiner, S., de Meer, H., Trivedi, K.S.: Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications, 2nd edn. Wiley, Hoboken (2006)CrossRef

Caprihan, R., Kumar, A., Stecke, K.E.: Evaluation of the impact of information delays on flexible manufacturing systems performance in dynamic scheduling environments. Int. J. Adv. Manuf. Technol. 67, 311–338 (2013)CrossRef

Chen, H., Yao, D.D.: Fundamentals of Queueing Networks. Springer, New York (2001). https://doi.org/10.1007/978-1-4757-5301-1CrossRefMATH

Dattatreya, G.R., Sahni, S.: Performance Analysis of Queuing and Computer Networks. Chapman and Hall, New York (2008)CrossRef

Davidrajuh, R.: Distributed workflow based approach for eliminating redundancy in virtual enterprising. J. Supercomput. 63(1), 107–125 (2013)CrossRef

Diaz, M. (ed.): Petri Nets, Fundamental Models, Verification and Applications. Wiley, Hoboken (2009)MATH

Fortier, J.P., Michel, H.E.: Computer Systems Performance Evaluation and Prediction. Elsevier, Burlington (2003)

Girault, C., Valk, R.: Petri Nets for Systems Engineering. Springer, Heidelberg (2003). https://doi.org/10.1007/978-3-662-05324-9CrossRefMATH

10.

Jamro, M., Rzonca, D., Rza̧sa, W.: Testing communication tasks in distributed control systems with SysML and Timed Colored Petri Nets model. Comput. Ind. 71, 77–87 (2015)CrossRef

11.

Jensen, K., Kristensen, L.M.: Coloured Petri Nets Modelling and Validation of Concurrent Systems. Springer, Heidelberg (2009). https://doi.org/10.1007/b95112CrossRefMATH

12.

Kounev, S.: Performance modelling and evaluation of distributed component-based systems using Queuing Petri Nets. IEEE Trans. Softw. Eng. 32(7), 486–502 (2006)CrossRef

13.

Kouvatsos, D. (ed.): Performance Evaluation of ATM Networks. Kluwer, Boston (2000)MATH

14.

Lenz, K., Mevius, M., Oberweis, A.: Process-oriented business performance management with Petri nets. In: The 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE 2005, Proceedings, pp. 89–92. IEEE (2005)

15.

Mortensen, K.H.: Efficient data-structures and algorithms for a Coloured Petri Nets simulator. In: Proceedings of the 3rd Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, 29–31 August 2001

16.

Noorshams, Q., Rostami, K., Kounev, S., Reussner, R.: Modeling of I/O performance interference in virtualized environments with Queueing Petri Nets. In: 22nd International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems. IEEE (2014)

17.

Olejnik, R.: Modelling of half-duplex radio access for HopeMesh experimental WMN using Petri Nets. In: Kwiecień, A., Gaj, P., Stera, P. (eds.) CN 2014. CCIS, vol. 431, pp. 108–117. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-07941-7_11CrossRef

18.

Rak, T.: Performance modeling using Queueing Petri Nets. In: Gaj, P., Kwiecień, A., Sawicki, M. (eds.) CN 2017. CCIS, vol. 718, pp. 321–335. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-59767-6_26CrossRef

19.

Rak, T., Samolej, S.: Simulation and performance analysis of distributed internet systems using TCPNs. Informatica Int. J. Comput. Inf. 33(4), 405–415 (2009)

20.

Rząsa, W.: Combining timed Colored Petri Nets and real TCP implementation to reliably simulate distributed applications. In: Kwiecień, A., Gaj, P., Stera, P. (eds.) CN 2009. CCIS, vol. 39, pp. 79–86. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-02671-3_9CrossRef

21.

Rząsa, W.: Timed Colored Petri Net based estimation of efficiency of the grid applications. Ph.D. thesis, AGH University of Science and Technology, Kraków, Poland (2011)

22.

Rząsa, W.: Synchronization algorithm for timed Colored Petri Nets and Ns-2 simulators. In: Kwiecień, A., Gaj, P., Stera, P. (eds.) CN 2013. CCIS, vol. 370, pp. 1–10. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-38865-1_1CrossRef

23.

Rząsa, W.: Simulation-based analysis of a platform as a service infrastructure performance from a user perspective. In: Gaj, P., Kwiecień, A., Stera, P. (eds.) CN 2015. CCIS, vol. 522, pp. 182–192. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-19419-6_17CrossRef

24.

Rząsa, W., Rzonca, D.: Event-driven approach to modeling and performance estimation of a distributed control system. In: Gaj, P., Kwiecień, A., Stera, P. (eds.) CN 2016. CCIS, vol. 608, pp. 168–179. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-39207-3_15CrossRef

25.

Rząsa, W., Jamro, M., Rzonca, D.: Improving accuracy of a network model basing on the case study of a distributed system with a mobile application and an API. In: Gaj, P., Kwiecień, A., Sawicki, M. (eds.) CN 2017. CCIS, vol. 718, pp. 14–27. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-59767-6_2CrossRef

26.

Rząsa, W.: Predicting performance in a PaaS environment: a case study for a web application. Comput. Sci. 18(1), 21–39 (2017)CrossRef

27.

Rzońca, D., Trybus, B.: Hierarchical Petri Net for the CPDev virtual machine with communications. In: Kwiecień, A., Gaj, P., Stera, P. (eds.) CN 2009. CCIS, vol. 39, pp. 264–271. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-02671-3_31CrossRef

28.

Rzońca, D., Sadolewski, J., Trybus, B.: OPC data acquisition server for CPDev engineering environment. In: Kwiecień, A., Gaj, P., Stera, P. (eds.) CN 2010. CCIS, vol. 79, pp. 315–321. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-13861-4_33CrossRef

29.

Rzońca, D., Stec, A., Trybus, B.: Data acquisition server for mini distributed control system. In: Kwiecień, A., Gaj, P., Stera, P. (eds.) CN 2011. CCIS, vol. 160, pp. 398–406. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-21771-5_43CrossRef

30.

Samolej, S., Szmuc, T.: HTCPNs-based tool for web-server clusters development. In: Huzar, Z., Koci, R., Meyer, B., Walter, B., Zendulka, J. (eds.) CEE-SET 2008. LNCS, vol. 4980, pp. 131–142. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-22386-0_10CrossRef

31.

Samolej, S., Szmuc, T.: HTCPNs-based modelling and evaluation of dynamic computer cluster reconfiguration. In: Szmuc, T., Szpyrka, M., Zendulka, J. (eds.) CEE-SET 2009. LNCS, vol. 7054, pp. 97–108. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-28038-2_8CrossRef

32.

Samolej, S., Szmuc, T.: Web-server systems HTCPNs-based development tool application in load balance modelling, e-Informatica. Softw. Eng. J. 3(1), 139–153 (2009)

33.

Samolej, S., Szmuc, T.: HTCPNs-based analysis of priority-based internet requests scheduling. Przeglad Elektrotechniczny 86(2010), 174–178 (2010)

34.

Wells, L., et al.: Simulation based performance analysis of web servers. In: Proceedings of the 9th International Workshop on Petri Nets and Performance Models, p. 59. IEEE (2001)

35.

Wells, L.: Performance analysis using CPN tools. In: Proceedings of the 1st International Conference on Performance Evaluation Methodologies and Tools, p. 59 (2006)

Title: Consequences of the Form of Restrictions in Coloured Petri Net Models for Behaviour of Arrival Stream Generator Used in Performance Evaluation
Authors: Dariusz Rzonca
Wojciech Rząsa
Sławomir Samolej
Publisher: Springer International Publishing
Book: Computer Networks
Print ISBN: 978-3-319-92458-8

Electronic ISBN: 978-3-319-92459-5

Copyright Year: 2018
DOI: https://doi.org/10.1007/978-3-319-92459-5_24

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner