Colored Petri nets as the enabling technology in intrusion detection systems | IEEE Conference Publication | IEEE Xplore