Non-Interference Enforcement in Bounded Petri Nets