Noninterference Enforcement via Supervisory Control in Bounded Petri Nets

Francesco Basile, Gianmaria De Tommasi, Claudio Sterle. Noninterference Enforcement via Supervisory Control in Bounded Petri Nets. IEEE Trans. Automat. Contr., 66(8):3653-3666, 2021. [doi]

Abstract

Abstract is missing.