An investigation of credit-based flow control protocols
Jonathan Billington, Smit Saboo · 2008
Credit-based flow control mechanisms, such as those used in the Transmission Control Protocol, allow flow control and error control procedures of data transfer protocols to oper- ate independently. We create a Coloured Petri Net model of a class of data transfer protocols, which uses retransmissions