A Petri net-based framework of intrusion detection systems | IEEE Conference Publication | IEEE Xplore