Francesco Basile Gianmaria De Tommasi Non-interference assessment in bounded Petri nets via Integer Linear Programming. 3056-3061 2018 ACC https://doi.org/10.23919/ACC.2018.8431241 conf/amcc/2018 db/conf/amcc/acc2018.html#BasileT18