A model to study cyber attack mechanics and denial-of-service exploits over the internet's router infrastructure using colored petri nets