Current-state opacity modelling and verification in partially observed Petri nets. - Ikram Saadaoui; Zhiwu Li 001; Naiqi Wu (Autom., 2020)