AAutomatica13d agoVerification and enforcement of strong state-based opacity for discrete-event systemsXiaoguang Han·Zhiwu Li·Kuize ZhangRead at AutomaticaShareLess like thisTagsPetri Nets in System ModelingComputational Theory and Mathematics
