Non-interference assessment in bounded Petri nets via Integer Linear Programming | IEEE Conference Publication | IEEE Xplore