Modeling and Execution of Complex Attack Scenarios using Interval Timed Colored Petri Nets