Slide 1 1 Using Coloured Petri Nets to Simulate DoS-resistant protocols 7 th Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools 2006 Suratose Tritilanunt…