Intrusion Detection in Cyber-Physical Systems Based on Petri Net. - Zeinab Ghazi; Ali Doustmohammadi (Inf. Technol. Control., 2018)