Modeling, Simulation and Verification of Probabilistic Reconfigurable Discrete-Event Systems Under Energy and Memory ConstraintsOussama Khlifi, Zheng Li, Olfa Mosbahi et al.|Iranian Journal of Science and Technology Transactions of Electrical Engineering|2018Cited by 8
Depth-first Search Approach for Language-based Opacity Verification Using Petri NetsIkram Saadaoui, Mohamed Khalgui, Zheng Li et al.|IFAC-PapersOnLine|2020Cited by 3