Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Simulation-based comparisons of Tahoe, Reno and SACK TCP
ACM SIGCOMM Computer Communication Review
Verification of embedded systems using a petri net based representation
ISSS '00 Proceedings of the 13th international symposium on System synthesis
Computer Networks
Petri nets as a common tool for design verification and hardware simulation
DAC '76 Proceedings of the 13th Design Automation Conference
Petri Net Approach to Improving SACK TCP Resilience
CNSR '04 Proceedings of the Second Annual Conference on Communication Networks and Services Research
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Verification of analog/mixed-signal circuits using labeled hybrid petri nets
Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design
Formal modelling and verification of a component model using coloured petri nets and model checking
Proceedings of the 2007 ACM symposium on Applied computing
Verification of the Capability Exchange Signalling protocol
International Journal on Software Tools for Technology Transfer (STTT)
Process knowledge verification method based on petri net
Proceedings of the 1st international conference on Forensic applications and techniques in telecommunications, information, and multimedia and workshop
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Hi-index | 0.98 |
Petri net modeling enables us to verify the protocol of interest formally. However, aside from formal verification, a new protocol really needs to be tested in a relatively realistic environment in which it interworks (or at least co-exists) with earlier or different versions of the same or similar protocols. Simulation excels in meeting such challenges. But the correctness of a protocol can never be proved by simulation alone. In this paper, we present an innovative methodology that combines the use of colored Petri nets and simulation (in ns-2) to obtain the advantages of deep formal verification with the broad spectrum testing of simulation. A new version of SACK TCP, @a-min Paced SACK TCP, is used as the example protocol under test in our research. Our experimental results show that @a-min Paced SACK TCP could reduce the number of packets queued at the bottleneck router significantly, decreasing the possibility of packet discard due to limited buffer space. Of course, the proposed methodology is a generic approach that can be used to study the performance of any new network protocol that is intended to run in an existing, complex network environment.