An Initial Coloured Petri Net Model of the Hypertext Transfer Protocol Operating over the Transmission Control Protocol. - Sonya Arnold; Jonathan Billington (Trans. Petri Nets Other Model. Concurr., 2012)