Skip to main content
SpringerLink
Log in

Modelling and evaluation of QCN using coloured petri nets

  • Published:
Peer-to-Peer Networking and Applications Aims and scope Submit manuscript

Abstract

Congestion management capability is an important requirement for any quality of services (QoS) networking technology. Therefore, IEEE 802.1Qau has proceeded a congestion notification project whose aim is to develop a Carrier Ethernet congestion control scheme at Layer 2 for a data center network. A data center network should be efficient and robust to handle the growing demands of cloud computing. A congestion control scheme is a key component of data transport in this kind of network. The quantized congestion notification (QCN) scheme is a congestion management scheme, which has been standardized and designed to be implemented in the Carrier Ethernet. Coloured Petri net (CPN) is a modelling technique used with the Petri nets modelling tool. This technique is exploited to model and simulate the QCN in order to help understand the QCN scheme and derive performance measures. This paper proposes a formal model for the QCN scheme. Then, we verify the implementation of our model by simulations. Thus, the QCN queue and rate performances are evaluated using the CPN tools. Moreover, an improved model called TAI-QCN is proposed in order to enhance the QCN scheme.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14
Fig. 15
Fig. 16

Similar content being viewed by others

References

  1. IEEE Computer Society. IEEE Standard for Local and metropolitan area networks-Media Access Control (MAC) Bridges and Virtual Bridged Local Area Networks, 2011

  2. Mliki H, Chaari L, Kamoun L (2015) A comprehensive survey on carrier ethernet congestion management mechanism. J Netw Comput Appl 47:107–130

    Article  Google Scholar 

  3. Sommer J, Gunreben S, Feller F, Kohen M, Mifdaoui A, SaB D, Scharf J (2010) Ethernet - a survey on its fields of application. IEEE Commun Surv Tutor 12:263–284

    Article  Google Scholar 

  4. Wang D, Lynch D, Li J, Klincewicz J, Li G, Doverspike R, Segal M (2010) Design of metro ethernet networks. 17th IEEE Workshop on Local and Metropolitan Area Networks (LANMAN), pp 1–6

  5. Menne U, Wessly R, Martens M, Bley A (2013) Integrated optimization of aggregation and core for varying NGN architectures. Telecommun Syst 52:1067–1079

    Google Scholar 

  6. Menachi E, Avin C, Giladi R (March 2012) Scalable, hierarchical, ethernet transport network architecture (hetna). Telecommun Syst 49:299–312

  7. Ngo MT, Gravey A, Bhadauria D (2011) Controlling qos in epon-based FTTX access networks. Telecommun Syst 48:203–217

    Article  Google Scholar 

  8. Penttinen JTJ, Kallio J (2015) The telecommunications handbook: Engineering guidelines for fixed, mobile and satellite systems, chapter transmission networks. Wiley,

  9. Alizadeh M, Kabbani A, Atikoglu B, Prabhakar B (2011) Stability analysis of QCN: The averaging principle. ACM SIGMETRICS international conference on Measurement and modeling of computer systems

  10. IEEE Computer Society. IEEE Standard for Local and metropolitan area networks-Virtual Bridged Local Area Networks-Amendment 13 : Congestion Notification, 2010

  11. KAbbani A, Alizadeh M, Yasuda M, Pan R, Prabhakar B (2010) AF-QCN: Approximate fairness with quantized congestion notification for muti-tenanted data centers. IEEE Symposium on High Performance Interconnects, pp 58–65

  12. Hayashi Y, Itsumi H, Yamamoto M (June 2011) Improving fairness of quantized congestion notification for data center ethernet networks. IEEE 31st International Conference on Distributed Computing Systems Workshops, pp 20–25

  13. Yu Y, Fang S, Aung KMM, Foh CH, Li H, Zhu Y (2014) A layer 2 multipath solution and its performance evaluation for data center ethernets. Int J Commun Syst 27:2555–2576

    Google Scholar 

  14. Cho JH, Kim H, Yoon C, Cho S, Lee T (2014) Ethernet transport system supporting delay-sensitive real-time traffics. Int J Commun Syst 27:2366–2376

    Article  Google Scholar 

  15. De Greve F, Van Quickenborne F, De Turck F, Moerman I, Demeester P (2007) A new carrier grade aggregation network model for delivering broadband services to fast moving users. Int J Commun Syst 20:335–364

  16. Jensen K, Kristensen LM, Wells L (2007) Coloured petri nets and cpn tools for modeling and validation of concurrent systems. Softw Tools Technol Trans 9:213–254

    Article  Google Scholar 

  17. Zaitsev D, Shmeleva TR (2008) Switched ethernet response time evaluation via colored petri net model. Proceedings of International Middle Eastern Multiconference on Simulation and Modeling

  18. Zaitsev D (2004) An evaluation of network response time using a colored petri net model of switched lan. Proceedings 5th Workstation and Tutorial on Practical Use of Colored Petri Nets and the CPN Tools

  19. Zaitsev D (2004) Switched lan simulation by colored petri nets. Math Comput Simul 65:245–249

    Article  MathSciNet  MATH  Google Scholar 

  20. Shmeleva TR (2009) Parametric model of ip-networks in the form of colored petri net 25th. UK Performance Engineering Workshop

  21. Zaitsev D, Sakun A (2008) An evaluation of mpls efficacy using colored petri net models. Proceedings International Middle Eastern Multiconference on Simulation and Modeling, pp 31– 36

  22. Jensen K, Kristensen LM (2009) Coloured petri nets modelling and validation of concurrent systems. Springer 2009, ISBN 978-3-642-00283-0, pages I-XI, pp 1–384

  23. Jensen K (1991) High level petri nets: Theory and applications. Springer,

  24. Jensen K (1997) Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use. Springer-Verlag Berlin Heidelberg, ISBN 978-3-662-03241-1, pp XII, 236

  25. Jensen K, Kristensen LM, Wells L (2007) Colored petri nets and CPN tools for modeling and validation of concurrent systems. ACM International Journal on Software Tools for Technology Transfer, pp 213–254

  26. CPN Tools. CPN tools. http://cpntools.org/

  27. Altman E, Avrachenkov KE, Prabhu BJ (2005) Fairness in MIMD congestion control algorithms. Telecommun Syst 30:387– 415

    Article  Google Scholar 

  28. Yamamoto M, Hayashi Y, Itsumi H (2011) Improving fairness of quantized congestion notification for data center ethernet networks. IEEE 31st International Conference on Distributed Computing Systems Workshops, pp 20–25

  29. Ren Y, Zhao Y, Liu P, Dou K, Li J (2012) A survey on TCP incast in data center networks. Int J Commun Syst 27:1160–1172

    Article  Google Scholar 

  30. Ansari N, Zhang Y (2011) On mitigating tcp incast in data center networks. IEEE INFOCOM, pp 51–55

  31. Reddy ALN, Devkota P (2010) Performance of quantized congestion notification in tcp incast scenarios of data centers. IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS), pp 235–243

  32. Shu R, Lin C, Jiang W, Ren F (2012) Sliding mode congestion control for data center ethernet networks. IEEE Infocom, pp 1404–1412

  33. Clauberg R, Valk KM, Basso C, Neeser FD, Chrysos NI (2012) Occupancy sampling for terabit cee switches. IEEE 20th Annual Symposium on High Performance Interconnects, pp 64– 71

Download references

Author information

Authors and Affiliations

  1. LETI Laboratory, Engineering School of Sfax (ENIS), University of Sfax, 3038, Sfax, Tunisia

    Hela Mliki, Lamia Chaari & Lotfi Kamoun

Authors
  1. Hela Mliki
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Lamia Chaari
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Lotfi Kamoun
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Hela Mliki.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Mliki, H., Chaari, L. & Kamoun, L. Modelling and evaluation of QCN using coloured petri nets. Peer-to-Peer Netw. Appl. 11, 486–503 (2018). https://doi.org/10.1007/s12083-017-0547-7

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s12083-017-0547-7

Keywords

Search

Navigation