Colored Petri nets as the enabling technology in intrusion detection systems. - Andrey M. Dolgikh; Tomas Nykodym; Victor A. Skormin; James Antonakos; M. Baimukhamedov (MILCOM, 2011)