Supervisory Control of Petri Nets in the Presence of Replacement Attacks | IEEE Journals & Magazine | IEEE Xplore