1 paper
Ning Ran, Zhengguang Wu, Shaokang Zhang +2
This paper focuses on a fundamental problem on information security of bounded labeled Petri nets: non-interference analysis. As in hierarchical control, we assume that a system is…