Current-state opacity modelling and verification in partially observed Petri nets
scientific article; zbMATH DE number 7189222