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

Dmitry J. Chaly, Valery A. Sokolov

Browse the full PACT paper archive.