Skip to main content
SpringerLink
Log in

An Extensible Coloured Petri Net Model of a Transport Protocol for Packet Switched Networks

  • Conference paper
Parallel Computing Technologies (PaCT 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2763))

Included in the following conference series:

Abstract

The paper deals with modelling and analysis of the Transmission Control Protocol (TCP) by means of Coloured Petri Nets (CPN). We present our CPN model and examples of how correctness and performance issues of the TCP protocol can be studied. We show a way of extension of this model for representing the Adaptive Rate Transmission Control Protocol (ARTCP). Our model can be easily configured and used as a basis for constructing formal models of future TCP modifications.

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 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. Postel, J.: Transmission Control Protocol. RFC793, STD7 (1981)

    Google Scholar 

  2. Braden, R. (ed.): Requirements for Internet Hosts – Communication Layers. RFC1122 (1989)

    Google Scholar 

  3. Jacobson, V., Braden, R., Borman, D.: TCP Extensions for High Performance. RFC1323 (1992)

    Google Scholar 

  4. Mathis, M., Mahdavi, J., Floyd, S., Romanow, A.: TCP Selective Acknowledgement Option. RFC2018 (1996)

    Google Scholar 

  5. Allman, M., Paxson, V., Stevens, W.: TCP Congestion Control. RFC2581 (1999)

    Google Scholar 

  6. Floyd, S., Mahdavi, J., Mathis, M., Podolsky, M.: An Extension to the Selective Acknowledgement (SACK) Option for TCP. RFC2883 (2000)

    Google Scholar 

  7. Paxson, V., Allman, M.: Computing TCP’s Retransmission Timer. RFC2988 (2000)

    Google Scholar 

  8. Allman, M., Balakrishnan, H., Floyd, S.: Enhancing TCP’s Loss Recovery Using Limited Transmit. RFC3042 (2001)

    Google Scholar 

  9. Alekseev, I.V.: Adaptive Rate Control Scheme for Transport Protocol in the Packet Switched Networks. PhD Thesis. Yaroslavl State University (2000)

    Google Scholar 

  10. Alekseev, I.V., Sokolov, V.A.: ARTCP: Efficient Algorithm for Transport Protocol for Packet Switched Networks. In: Malyshkin, V.E. (ed.) PaCT 2001. LNCS, vol. 2127, pp. 159–174. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  11. Alekseev, I.V., Sokolov, V.A.: Modelling and Traffic Analysis of the Adaptive Rate Transport Protocol. Future Generation Computer Systems 18(6), 813–827 (2002)

    Article  MATH  Google Scholar 

  12. Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Monographs in Theoretical Computer Science, vol. 1, Basic Concepts. Springer, Heidelberg (1992)

    Google Scholar 

  13. Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Monographs in Theoretical Computer Science, vol. 2, Analysis Methods. Springer, Heidelberg (1995)

    Google Scholar 

  14. Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Monographs in Theoretical Computer Science, vol. 1, Practical Use. Springer, Heidelberg (1997)

    Google Scholar 

  15. Jensen, K., Rozenberg, G. (eds.): High-Level Petri Nets. Springer, Heidelberg (1991)

    MATH  Google Scholar 

  16. Christensen, S., Jørgensen, J.B., Kristensen, L.M.: Design/CPN – A Computer Tool for Coloured Petri Nets. In: Brinksma, E. (ed.) TACAS 1997. LNCS, vol. 1217, pp. 209–223. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  17. Coloured Petri Nets. University of Aarhus, Computer Science Department, World- Wide Web, http://www.daimi.aau.dk/CPnets

  18. Design/CPN Online. World-Wide Web, http://www.daimi.au.dk/designCPN/

  19. de Figueiredo, J.C.A., Kristensen, L.M.: Using Coloured Petri Nets to Investigate Behavioural and Performance Issues of TCP Protocols. In: Jensen, K. (ed.) Proceedings of the Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN, pp. 21–40 (1999)

    Google Scholar 

  20. Clausen, H., Jensen, P.R.: Validation and Performance Ananlysis of Network Algorithms by Coloured Petri Nets. In: Proceedings of PNPM 1993, pp. 280–289. IEEE Computer Society Press, Los Alamitos (1993)

    Google Scholar 

  21. Clausen, H., Jensen, P.R.: Ananlysis of Usage Parameter Control Algorithm for ATM Networks. In: Tohmè, S., Casada, A. (eds.) Broadband Communications II (C-24), pp. 297–310. Elsevier Science Publishers, Amsterdam (1994)

    Google Scholar 

  22. Fall, K., Floyd, S.: Simulation-Based Comparisons of Tahoe, Reno, and SACK TCP. Computer Communication Review 26(3), 5–21 (1996)

    Article  Google Scholar 

  23. Kumar, A.: Comparative Performance Ananlysis of Versions of TCP in a Local Network with a Lossy Link. IEEE/ACM Transactions on Networking 6(4), 485–498 (1998)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Yaroslavl State University, 150000, Yaroslavl, Russia

    Dmitry J. Chaly & Valery A. Sokolov

Authors
  1. Dmitry J. Chaly
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Valery A. Sokolov
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Novosibirsk State Technical University, Russia

    Victor E. Malyshkin

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Chaly, D.J., Sokolov, V.A. (2003). An Extensible Coloured Petri Net Model of a Transport Protocol for Packet Switched Networks. In: Malyshkin, V.E. (eds) Parallel Computing Technologies. PaCT 2003. Lecture Notes in Computer Science, vol 2763. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45145-7_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-45145-7_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-40673-0

  • Online ISBN: 978-3-540-45145-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation