Skip to main content
SpringerLink
Log in

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

  • Conference paper
  • First Online:
Computer Networks (CN 2018)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 860))

Included in the following conference series:

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.

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

Access this chapter

Log in via an institution
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 EPUB and 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

Notes

  1. 1.

    http://cpntools.org/.

  2. 2.

    http://cpntools.org/.

References

  1. 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)

    Google Scholar 

  2. 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)

    Book  Google Scholar 

  3. 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)

    Article  Google Scholar 

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

    Book  MATH  Google Scholar 

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

    Book  Google Scholar 

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

    Article  Google Scholar 

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

    MATH  Google Scholar 

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

    Google Scholar 

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

    Book  MATH  Google Scholar 

  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)

    Article  Google Scholar 

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

    Book  MATH  Google Scholar 

  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)

    Article  Google Scholar 

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

    MATH  Google Scholar 

  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)

    Google Scholar 

  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

    Google Scholar 

  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)

    Google Scholar 

  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_11

    Chapter  Google Scholar 

  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_26

    Chapter  Google Scholar 

  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)

    Google Scholar 

  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_9

    Chapter  Google Scholar 

  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)

    Google Scholar 

  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_1

    Chapter  Google Scholar 

  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_17

    Chapter  Google Scholar 

  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_15

    Chapter  Google Scholar 

  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_2

    Chapter  Google Scholar 

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

    Article  Google Scholar 

  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_31

    Chapter  Google Scholar 

  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_33

    Chapter  Google Scholar 

  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_43

    Chapter  Google Scholar 

  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_10

    Chapter  Google Scholar 

  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_8

    Chapter  Google Scholar 

  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)

    Google Scholar 

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

    Google Scholar 

  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)

    Google Scholar 

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer and Control Engineering, Rzeszow University of Technology, Al. Powstancow Warszawy 12, 35-959, Rzeszow, Poland

    Dariusz Rzonca, Wojciech Rząsa & Sławomir Samolej

Authors
  1. Dariusz Rzonca
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Wojciech Rząsa
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Sławomir Samolej
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Dariusz Rzonca .

Editor information

Editors and Affiliations

  1. Institute of Informatics, Silesian University of Technology, Gliwice, Poland

    Piotr Gaj

  2. Silesian University of Technology, Gliwice, Poland

    Michał Sawicki

  3. University of Opole, Opole, Poland

    Grażyna Suchacka

  4. Silesian University of Technology, Gliwice, Poland

    Andrzej Kwiecień

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Rzonca, D., Rząsa, W., Samolej, S. (2018). Consequences of the Form of Restrictions in Coloured Petri Net Models for Behaviour of Arrival Stream Generator Used in Performance Evaluation. In: Gaj, P., Sawicki, M., Suchacka, G., Kwiecień, A. (eds) Computer Networks. CN 2018. Communications in Computer and Information Science, vol 860. Springer, Cham. https://doi.org/10.1007/978-3-319-92459-5_24

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-92459-5_24

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-92458-8

  • Online ISBN: 978-3-319-92459-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation