C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Modeling and verification of TCP congestion control based on colored Petri nets.
Ganfeng Bao
Fang Liu
Li Hong
Published in:
SMC (2003)
Keyphrases
</>
colored petri nets
congestion control
petri net
end to end
web services
packet loss
quality of service
congestion avoidance
window size
transmission rate
rate control
network bandwidth
visual features
network traffic
network congestion