Non-interference analysis of bounded labeled Petri nets

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…