Analysis of Effectiveness and Stealthiness of Sensor Attacks in Labeled Petri Nets | IEEE Conference Publication | IEEE Xplore